| Originalsprache | Englisch |
|---|---|
| Verlag | Springer |
| Seitenumfang | 277 |
| Publikationsstatus | Veröffentlicht - 2012 |
Research Field
- Ehemaliges Research Field - Digital Safety and Security
Diese Publikation zitieren
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Formal Modeling and Analysis of Timed Systems - 10th International Conference
- Marcin Jurdzinski (Redakteur:in)
- , Dejan Nickovic (Redakteur:in)
Publikation: Bücher und Berichte › Tagungsband