Eintrag weiter verarbeiten
Stochastic transition systems: bisimulation, logic, and composition
Gespeichert in:
Personen und Körperschaften: | , , , |
---|---|
Titel: | Stochastic transition systems: bisimulation, logic, and composition/ Daniel Gburek |
Hochschulschriftenvermerk: | Dissertation, Technische Universität Dresden, 2018 |
Medientyp: | E-Book Hochschulschrift |
Sprache: | Englisch |
veröffentlicht: |
Dresden
2018
|
Schlagwörter: | |
Erscheint auch als: | Gburek, Daniel, 1990 - , Stochastic transition systems: bisimulation, logic, and composition, Dresden, 2018, 252 Seiten |
Quelle: | Verbunddaten SWB Lizenzfreie Online-Ressourcen |