Games for Bisimulations and Abstraction

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

Research output: Contribution to journal › Article › Academic › peer-review

2 Citations (Web of Science)

Original language	English
Number of pages	40
Journal	Logical Methods in Computer Science
Volume	13
Issue number	4
DOIs	https://doi.org/10.23638/LMCS-13(4:15)2017
Publication status	Published - 28 Nov 2017

Access to Document

@article{f55c71e4704f4cb1bde5088381bd4f16,

title = "Games for Bisimulations and Abstraction",

author = "{de Frutos Escrig}, D. and J.J.A. Keiren and T.A.C. Willemse",

year = "2017",

month = nov,

day = "28",

doi = "10.23638/LMCS-13(4:15)2017",

language = "English",

volume = "13",

journal = "Logical Methods in Computer Science",

issn = "1860-5974",

publisher = "Logical Methods in Computer Science e.V.",

number = "4",

}