Brinksma, Ed books & textbook
Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Lecture Notes in Computer Science, 2404)
Springer /2002-07-19 Paperback / 372 Pages
isbn-10: 3540439978 / isbn-13: 9783540439974
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. ... (Lecture Notes in Computer Science, 1019)
Brinksma, Ed Cleaveland, W. Rance Larsen, Kim G. Margaria, Tiziana Steffen, Bernhard
Springer /1995-11-23 Paperback / 305 Pages
isbn-10: 3540606300 / isbn-13: 9783540606307
Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, ... (Lecture Notes in Computer Science, 1217)
Springer /1997-03-20 Paperback / 447 Pages
isbn-10: 3540627901 / isbn-13: 9783540627906
Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures
Brinksma, Ed Hermanns, Holger Katoen, Joost-Pieter
Springer /2014-03-12 Paperback / 446 Pages
isbn-10: 3662181177 / isbn-13: 9783662181171
Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July ... (Lecture Notes in Computer Science, 2090)
Brinksma, Ed Hermanns, Holger Katoen, Joost-Pieter
Springer /2001-08-29 Paperback / 442 Pages
isbn-10: 3540424792 / isbn-13: 9783540424796
Protocol Test Systems, IV: Proceedings of the Ifip Tc6 Fourth International Workshop on Protocol Test Systems Organized by Ptt Research : Leidschend (Ifip Transactions. C, Communication Systems, C-3)
IFIP TC6 International Workshop on Protocol Test Systems (4th : 1991 : Leidschendam, Netherlands) Kroon, Jan Heijink, Rudolf J. Brinksma, Ed International Federation for Information Processing. Technical Committee Brinksma, Ed
North-Holland /1992-01-01 Paperback / 310 Pages
isbn-10: 0444895175 / isbn-13: 9780444895172
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
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas "95, Aarhus, Denmark, May 19-20, 1995 : Selected Papers (Lecture Notes in Computer Science)
Springer Nature / Paperback
isbn-10: 0387606300 / isbn-13: 9780387606309
