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 |