ISBN 3540733698 books & textbook
Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings (Lecture Notes in Computer Science, 4595)
Bosnacki, Dragan Edelkamp, Stefan
Springer /2007-06-21 Paperback / 295 Pages
isbn-10: 3540733698 / isbn-13: 9783540733690
