Eintrag weiter verarbeiten
Buchumschlag von Stochastic transition systems: bisimulation, logic, and composition
Verfügbar über Open Access

Stochastic transition systems: bisimulation, logic, and composition

Gespeichert in:

Personen und Körperschaften: Gburek, Daniel (VerfasserIn), Baier, Christel (Sonstige), Panangaden, Prakash (Sonstige), Technische Universität Dresden (Grad-verleihende Institution)
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