Title
A Flexible Approach for Checking Timed Automata on Continuous Time Semantics.
Year
Venue
DocType
2018
CoRR
Journal
Volume
Citations 
PageRank 
abs/1806.08684
0
0.34
References 
Authors
0
4
Name
Order
Citations
PageRank
Claudio Menghi132.44
Marcello M. Bersani212816.06
Matteo Rossi328832.20
Pierluigi San Pietro439554.03