Games for bisimulations and abstraction
- de Frutos Escrig, D.
- Keiren, J.J.A.
- Willemse, T.A.C.
Aldizkaria:
Logical Methods in Computer Science
ISSN: 1860-5974
Argitalpen urtea: 2017
Alea: 13
Zenbakia: 4
Mota: Artikulua