MOVEP 2000:
Nantes,
France
Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan (Eds.):
Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000.
Lecture Notes in Computer Science 2067 Springer 2001, ISBN 3-540-42787-2 BibTeX
@proceedings{DBLP:conf/movep/2000,
editor = {Franck Cassez and
Claude Jard and
Brigitte Rozoy and
Mark Dermot Ryan},
title = {Modeling and Verification of Parallel Processes, 4th Summer School,
MOVEP 2000, Nantes, France, June 19-23, 2000},
booktitle = {MOVEP},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2067},
year = {2001},
isbn = {3-540-42787-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Tutorials and Papers
- Stephan Merz:
Model Checking: A Tutorial Overview.
3-38
Electronic Edition (Springer LINK) BibTeX
- John M. Rushby:
Theorem Proving for Verification.
39-57
Electronic Edition (Springer LINK) BibTeX
- Antti Valmari:
Composition and Abstraction.
58-98
Electronic Edition (Springer LINK) BibTeX
- Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim Guldstrand Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, Wang Yi:
UPPAAL - Now, Next, and Future.
99-124
Electronic Edition (Springer LINK) BibTeX
- Benoît Caillaud, Philippe Darondeau, Loïc Hélouët, Gilles Lesventes:
HMSCs as Partial Specifications ... with PNs as Completions.
125-152
Electronic Edition (Springer LINK) BibTeX
- Alessandro Cimatti:
Industrial Applications of Model Checking.
153-168
Electronic Edition (Springer LINK) BibTeX
- Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux:
Formal Methods in Practice: The Missing Links. A Perspective from the Security Area.
169-182
Electronic Edition (Springer LINK) BibTeX
Annotated Bibliographies
Copyright © Sat May 16 23:30:44 2009
by Michael Ley (ley@uni-trier.de)
