Proving continuity of coinductive global bisimulation distances: A never ending story
- Romero-Hernández, D.
- De Frutos-Escrig, D.
- Monica, D.D.
ISSN: 2075-2180
Année de publication: 2015
Volumen: 200
Pages: 48-63
Type: Communication dans un congrès