Computer Aided Verification

BIB
Werner Damm and Holger Hermanns
Lecture Notes in Computer Science
01 / 2007
inproceedings
26
volume 4590