System Verification Via Generic Games
Behavioural Equivalence and Model Checking Games

Saved in:

Favorite

Bibliographic Details
Authors and Corporations: Mika-Michalski, Christina (Author), König, Barbara (Degree supervisor)
Title Statement: Christina Mika-Michalski ; Betreuer: Barbara König
published:
Duisburg, Essen Universität Duisburg-Essen 2022
Media Type: Book, E-Book

Get it

This resource is open access.
further information
Physical Description: Online-Ressource
DOI: 10.17185/duepublico/75302
Dissertation Note: Dissertation, Duisburg, Essen, Universität Duisburg-Essen, 2021
Language: English
Subjects:
Games
Bisimulationsspiele
Collection: Diss online