A Flexible Approach for Checking Timed Automata on Continuous Time Semantics

Claudio Menghi, Marcello Bersani, Matteo Rossi, Pierluigi San Pietro
January 2018
Type
Journal article
Publication
arXiv preprint arXiv:1806.08684