APA-Zitierstil (7. Ausg.)

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

ISBD Zitierstil

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-Zitierstil (8. Ausg.)

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

Bitte überprüfen Sie diese Angaben auf Richtigkeit, bevor Sie sie in Ihre Arbeit aufnehmen.