Testing of symbolic-probabilistic systems
Actes:
Lecture Notes in Computer Science
ISSN: 0302-9743
Any de publicació: 2005
Volum: 3395
Pàgines: 49-63
Tipus: Aportació congrés