Specification, testing and implementation relations for symbolic-probabilistic systems
ISSN: 0304-3975
Année de publication: 2006
Volumen: 353
Número: 1-3
Pages: 228-248
Type: Article
ISSN: 0304-3975
Année de publication: 2006
Volumen: 353
Número: 1-3
Pages: 228-248
Type: Article