Parametric Interrupt Timed Automata
B. Bérard‚ S. Haddad‚ A. Jovanović and D. Lime
Book Title
RP 2013
Pages
59−69
Publisher
Springer
Series
LNCS
Volume
8169
Year
2013
B. Bérard‚ S. Haddad‚ A. Jovanović and D. Lime