Diana El Rabih , Nihal Pekergin , Gaël Gorgo , Jean-Marc Vincent
July 2010
Fourth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2010) (VECOS)
Verification and Evaluation of Computer and Communication Systems (VECoS 2010)
1-2 July 2010
Model Checking, Probabilistic Verification, Continuous Stochastic Logic (CSL), Perfect Simulation
This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/