@InProceedings{CB06b,
author={F. Ciesinski and C. Baier},
title={LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems},
booktitle={Proc. 3rd International Conference on Quantitative Evaluation of Systems (QEST'06)},
year={2006},

editor={},
pages={131-132},
organization={},
publisher={IEEE CS Press},
series={},
volume={},
address={},
month={},
note={},
key={}
}