Games for Bisimulations and Abstraction

D. de Frutos Escrig, J.J.A. Keiren, T.A.C. Willemse

Research output: Contribution to journalArticleAcademicpeer-review

Original languageEnglish
Number of pages40
JournalLogical Methods in Computer Science
Volume13
Issue number4
DOIs
Publication statusPublished - 28 Nov 2017

Fingerprint

Dive into the research topics of 'Games for Bisimulations and Abstraction'. Together they form a unique fingerprint.

Cite this