|
[CB06b]
F. Ciesinski and C. Baier.
LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems.
In Proc. 3rd International Conference on Quantitative Evaluation of Systems (QEST'06), pages 131-132, IEEE CS Press.
2006.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|