5. ARTS 1999:
Bamberg,
Germany
Joost-Pieter Katoen (Ed.):
Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings.
Lecture Notes in Computer Science 1601 Springer 1999, ISBN 3-540-66010-0 BibTeX
@proceedings{DBLP:conf/arts/1999,
editor = {Joost-Pieter Katoen},
title = {Formal Methods for Real-Time and Probabilistic Systems, 5th International
AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings},
booktitle = {ARTS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1601},
year = {1999},
isbn = {3-540-66010-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Lecture
Verification of Probabilistic Systems
Model Checking Probabilistic Systems
Semantics of Probabilistic Process Calculi
Invited Lecture
Semantics of Real-Time Processes
Real-Time Compilation
Stochastic Process Algebra
Invited Lecture
Modeling and Verification of Real-Time Systems
Copyright © Sat May 16 22:58:31 2009
by Michael Ley (ley@uni-trier.de)