Spectral Gap in Timed Automata

Bibliographic Details
Main Authors: Asarin, E, Basset, N, Degorre, A
Format: Conference item
Published: Springer 2013