Specification, testing and implementation relations for symbolic-probabilistic systems
ISSN: 0304-3975
Año de publicación: 2006
Volumen: 353
Número: 1-3
Páginas: 228-248
Tipo: Artículo
ISSN: 0304-3975
Año de publicación: 2006
Volumen: 353
Número: 1-3
Páginas: 228-248
Tipo: Artículo