Testing of symbolic-probabilistic systems
Aktak:
Lecture Notes in Computer Science
ISSN: 0302-9743
Argitalpen urtea: 2005
Alea: 3395
Orrialdeak: 49-63
Mota: Biltzar ekarpena