Specification, testing and implementation relations for symbolic-probabilistic systems
ISSN: 0304-3975
Year of publication: 2006
Volume: 353
Issue: 1-3
Pages: 228-248
Type: Article
ISSN: 0304-3975
Year of publication: 2006
Volume: 353
Issue: 1-3
Pages: 228-248
Type: Article