Spectral Gap in Timed Automata
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
Springer
2013
|
| _version_ | 1797098586053279744 |
|---|---|
| author | Asarin, E Basset, N Degorre, A |
| author_facet | Asarin, E Basset, N Degorre, A |
| author_sort | Asarin, E |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T05:11:43Z |
| format | Conference item |
| id | oxford-uuid:dbc9624d-3556-4d1c-9e5e-c63622fc1042 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T05:11:43Z |
| publishDate | 2013 |
| publisher | Springer |
| record_format | dspace |
| spelling | oxford-uuid:dbc9624d-3556-4d1c-9e5e-c63622fc10422022-03-27T09:13:01ZSpectral Gap in Timed AutomataConference itemhttp://purl.org/coar/resource_type/c_5794uuid:dbc9624d-3556-4d1c-9e5e-c63622fc1042Department of Computer ScienceSpringer2013Asarin, EBasset, NDegorre, A |
| spellingShingle | Asarin, E Basset, N Degorre, A Spectral Gap in Timed Automata |
| title | Spectral Gap in Timed Automata |
| title_full | Spectral Gap in Timed Automata |
| title_fullStr | Spectral Gap in Timed Automata |
| title_full_unstemmed | Spectral Gap in Timed Automata |
| title_short | Spectral Gap in Timed Automata |
| title_sort | spectral gap in timed automata |
| work_keys_str_mv | AT asarine spectralgapintimedautomata AT bassetn spectralgapintimedautomata AT degorrea spectralgapintimedautomata |