Spectral Gap in Timed Automata

Detalhes bibliográficos
Principais autores: Asarin, E, Basset, N, Degorre, A
Formato: Conference item
Publicado em: Springer 2013