European Educational Forum:
School on Formal Methods and Performance Analysis 2000
Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (Eds.):
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.
Lecture Notes in Computer Science 2090 Springer 2001, ISBN 3-540-42479-2 BibTeX
@proceedings{DBLP:conf/eef/2000,
editor = {Ed Brinksma and
Holger Hermanns and
Joost-Pieter Katoen},
title = {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},
booktitle = {Euro Summer School on Trends in Computer Science},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2090},
year = {2001},
isbn = {3-540-42479-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © Sat May 16 23:09:01 2009
by Michael Ley (ley@uni-trier.de)