![](/img/cover-not-exists.png)
[IEEE 2010 Seventh International Conference on the Quantitative Evaluation of Systems (QEST) - Williamsburg, VA, USA (2010.09.15-2010.09.18)] 2010 Seventh International Conference on the Quantitative Evaluation of Systems - MC4CSLTA: An Efficient Model Checking Tool for CSLTA
Gilberto, Elvio Amparore, Donatelli, SusannaYear:
2010
Language:
english
DOI:
10.1109/qest.2010.26
File:
PDF, 376 KB
english, 2010