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

E. Brinksma (Editor), H. Hermanns (Editor), J.P. Katoen (Editor)

Research output: Book/ReportBook editingProfessional

Original languageEnglish
Place of PublicationBerlin
PublisherSpringer
Number of pages429
ISBN (Print)3-540-42479-2
DOIs
Publication statusPublished - 2001

Publication series

NameLecture notes in computer science
Volume2090
ISSN (Print)0302-9743
NameEEF/Euro summer school on trends in computer science
Volume1

Cite this