Equational characterization of covariant-contravariant simulation and conformance simulation semantics
ISSN: 2075-2180
Année de publication: 2010
Volumen: 32
Pages: 1-14
Type: Communication dans un congrès
ISSN: 2075-2180
Année de publication: 2010
Volumen: 32
Pages: 1-14
Type: Communication dans un congrès