Testing of symbolic-probabilistic systems
Proceedings:
Lecture Notes in Computer Science
ISSN: 0302-9743
Year of publication: 2005
Volume: 3395
Pages: 49-63
Type: Conference paper