Spectral Gap in Timed Automata

Detalles Bibliográficos
Main Authors: Asarin, E, Basset, N, Degorre, A
Formato: Conference item
Publicado: Springer 2013