QEST 2004: Enschede, The Netherlands

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

maintained by Schloss Dagstuhl LZI at University of Trier