dblp.uni-trier.de www.uni-trier.de

QEST 2004: Enschede, The Netherlands

1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 27-30 September 2004, Enschede, The Netherlands. IEEE Computer Society 2004, ISBN 0-7695-2185-1 BibTeX

Invited Session

Session I: Case Studies

Session II: Time and Continuous Petri Nets

Session III: Queueing Theory

Invited Session

Session IV: Analysis, Simulation, and Synthesis of Markov Chains

Session V: Scheduling and Optimization

Invited Session

Session VI: Model Checking

Session VII: Symbolic Techniques

Session VIII: Semantics

Tool Papers

Copyright © Sat May 16 23:35:31 2009 by Michael Ley (ley@uni-trier.de)