Verification of timed Finite State Machines
2010 ◽
Vol 46
(1)
◽
pp. 1-6
◽
Keyword(s):
2015 ◽
Vol 24
(02)
◽
pp. 1540010
◽