Spectral Gap in Timed Automata
Eugene Asarin‚ Nicolas Basset and Aldric Degorre
Book Title
FORMATS
Editor
Víctor A. Braberman and Laurent Fribourg
ISBN
978−3−642−40228−9
Pages
16−30
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
8053
Year
2013