Logical characterisations and compositionality of input-output conformance simulation
- Aceto, L.
- Fábregas, I.
- Gregorio-Rodríguez, C.
- Ingólfsdóttir, A.
ISSN: 1611-3349, 0302-9743
ISBN: 9783319519623
Argitalpen urtea: 2017
Alea: 10139 LNCS
Orrialdeak: 37-48
Mota: Biltzar ekarpena