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
Ano de publicación: 2017
Volume: 10139 LNCS
Páxinas: 37-48
Tipo: Achega congreso