Data-Structures for Verification of Timed Automata

Sorry, there's nothing here.

Cite this paper

@inproceedings{Asarin2017DataStructuresFV, title={Data-Structures for Verification of Timed Automata}, author={Eugene Asarin and Marius Bozga and Alain Kerbrat and Oded Maler and Amir Pnueli and Anne Rasse}, year={2017} }