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
Año de publicación: 2017
Volumen: 10139 LNCS
Páginas: 37-48
Tipo: Aportación congreso