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
Année de publication: 2017
Volumen: 10139 LNCS
Pages: 37-48
Type: Communication dans un congrès