Specification, testing and implementation relations for symbolic-probabilistic systems
ISSN: 0304-3975
Any de publicació: 2006
Volum: 353
Número: 1-3
Pàgines: 228-248
Tipus: Article
ISSN: 0304-3975
Any de publicació: 2006
Volum: 353
Número: 1-3
Pàgines: 228-248
Tipus: Article