Eintrag weiter verarbeiten
Parametric LTL games
Gespeichert in:
| Personen und Körperschaften: | |
|---|---|
| Titel: | Parametric LTL games/ Martin Zimmermann |
| Format: | E-Book |
| Sprache: | Englisch |
| veröffentlicht: |
Aachen
RWTH Aachen, Department of Computer Science
2010
|
| Gesamtaufnahme: |
Technical report / Department of Computer Science, RWTH Aachen Aachener Informatik-Berichte ; 2010, 11 |
| Schlagwörter: | |
| Quelle: | Verbunddaten SWB Lizenzfreie Online-Ressourcen |
Wird geladen...