Testing of symbolic-probabilistic systems
Actas:
Lecture Notes in Computer Science
ISSN: 0302-9743
Ano de publicación: 2005
Volume: 3395
Páxinas: 49-63
Tipo: Achega congreso