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
Any de publicació: 2017
Volum: 10139 LNCS
Pàgines: 37-48
Tipus: Aportació congrés