Games for Bisimulations and Abstraction

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

Research output: Contribution to journalArticleAcademicpeer-review

2 Citations (Web of Science)
Original languageEnglish
Number of pages40
JournalLogical Methods in Computer Science
Issue number4
Publication statusPublished - 28 Nov 2017


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

Cite this