Spectral Gap in Timed Automata

Bibliografiske detaljer
Main Authors: Asarin, E, Basset, N, Degorre, A
Format: Conference item
Udgivet: Springer 2013