System Verification Via Generic Games
Behavioural Equivalence and Model Checking Games

Gespeichert in:

Zu den Favoriten hinzufügen

Bibliographische Detailangaben
Beteiligte: Mika-Michalski, Christina (VerfasserIn), König, Barbara (AkademischeR BetreuerIn)
Verfasserangabe: Christina Mika-Michalski ; Betreuer: Barbara König
veröffentlicht:
Duisburg, Essen Universität Duisburg-Essen 2022
Medientyp: Buch, E-Book

Get it

Diese Ressource ist frei verfügbar.
weitere Informationen
Umfang: Online-Ressource
DOI: 10.17185/duepublico/75302
Hochschulschriftenvermerk: Dissertation, Duisburg, Essen, Universität Duisburg-Essen, 2021
Sprache: Englisch
Schlagwörter:
Games
Bisimulationsspiele
Kollektion: Diss online