APA (7th ed.) Citation

Mika-Michalski, C., & König, B. (2022). System Verification Via Generic Games: Behavioural Equivalence and Model Checking Games. Universität Duisburg-Essen.

ISBD Edition Citation

Mika-Michalski, Christina:
System Verification Via Generic Games : Behavioural Equivalence and Model Checking Games / Christina Mika-Michalski ; Betreuer: Barbara König . — Duisburg : Universität Duisburg-Essen, 2022. — Online-Ressource

MLA (8th ed.) Citation

Mika-Michalski, Christina, and Barbara König. System Verification Via Generic Games: Behavioural Equivalence and Model Checking Games.Universität Duisburg-Essen, 2022.

Remember to check citations for accuracy before including them in your work.