Claudio Menghi
Claudio Menghi
Home
Research Philosophy
Tools
Publications
Contact
CV
Light
Dark
Automatic
A Flexible Approach for Checking Timed Automata on Continuous Time Semantics
Claudio Menghi
,
Marcello Bersani
,
Matteo Rossi
,
Pierluigi San Pietro
January 2018
Cite
Type
Journal article
Publication
arXiv preprint arXiv:1806.08684
Cite
×