%0 Conference Paper %1 conf/qest/CiesinskiB06 %A Ciesinski, Frank %A Baier, Christel %B QEST %D 2006 %I IEEE Computer Society %K %P 131-132 %T LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems. %U http://dblp.uni-trier.de/db/conf/qest/qest2006.html#CiesinskiB06 %@ 0-7695-2665-9

@inproceedings{conf/qest/CiesinskiB06, added-at = {2023-12-14T14:57:41.000+0100}, author = {Ciesinski, Frank and Baier, Christel}, biburl = {https://www.bibsonomy.org/bibtex/251eaab213d084fea8395b561aac9f51b/admin}, booktitle = {QEST}, crossref = {conf/qest/2006}, ee = {http://doi.ieeecomputersociety.org/10.1109/QEST.2006.25}, interhash = {e570b0d7f8c6f81e10316d1c626d63e7}, intrahash = {51eaab213d084fea8395b561aac9f51b}, isbn = {0-7695-2665-9}, keywords = {}, pages = {131-132}, publisher = {IEEE Computer Society}, timestamp = {2023-12-14T14:57:41.000+0100}, title = {LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems.}, url = {http://dblp.uni-trier.de/db/conf/qest/qest2006.html#CiesinskiB06}, year = 2006 }