The Theory of Timed I/O Automata
| Autor: | Dilsun K. Kaynar, Nancy Lynch, Roberto Segala, Frits Vaandrager |
|---|---|
| Rok vydání: | 2006 |
| Předmět: | |
| Zdroj: | Synthesis Lectures on Computer Science. 1:1-114 |
| ISSN: | 1932-1686 1932-1228 |
| DOI: | 10.2200/s00006ed1v01y200508csl001 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|