ISBN 3662181177 books & textbook
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