ISBN 9780444883438 books & textbook
Protocol Specification, Testing, and Verification, IX (I F I P W G 61 INTERNATIONAL WORKSHOP ON PROTOCOL SPECIFICATION, TESTING, AND VERIFICATION//PROTOCOL SPECIFICATION, TESTING, AND VERIFICATION)
Brinksma, Ed Scollo, Giuseppe Vissers, Chris A.
Elsevier Science Ltd / Hardcover
isbn-10: 0444883436 / isbn-13: 9780444883438
