author = { Brinksma, Ed Hermanns, Holger AND Katoen, Joost-Pieter },

title = { Lectures on Formal Methods and PerformanceAnalysis First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures },

publisher = {Springer-Verlag Berlin Heidelberg},

isbn = {9783540446675},

isbn = {3540424792},

keywords = { Computer Communication Networks , Computer system performance , Logic design , Computer logic. , Computer system failures. , Computer communication systems. , Computer science , Computer Science , Software engineering , Computer engineering. , Computer networks . , Electronic digital computers , Formal methods (Computer science) Congresses , Konferenzschrift 2000 Berg-en-Dal , Konferenzschrift , Leistungsbewertung , Formale Methode },

year = {2001},

abstract = {Literaturangaben},

booktitle = {Lecture Notes in Computer Science ; 2090},

booktitle = {SpringerLink ; Bücher},

booktitle = {Springer eBook Collection ; Computer Science},

address = { Berlin, Heidelberg },

url = { http://slubdd.de/katalog?TN_libero_mab2 }