%0 Journal Article %1 journals/fuin/KonikowkaP04 %A Konikowska, Beata %A Penczek, Wojciech %D 2004 %J Fundam. Informaticae %K dblp %N 1-4 %P 211-224 %T On Designated Values in Multi-valued CTL* Model Checking. %U http://dblp.uni-trier.de/db/journals/fuin/fuin60.html#KonikowkaP04 %V 60

@article{journals/fuin/KonikowkaP04, added-at = {2020-09-18T00:00:00.000+0200}, author = {Konikowska, Beata and Penczek, Wojciech}, biburl = {https://www.bibsonomy.org/bibtex/2cff5373c549b35db96ee011866ddd84c/dblp}, ee = {http://content.iospress.com/articles/fundamenta-informaticae/fi60-1-4-15}, interhash = {3872a7ad4df8185e973dbdaa2734ac0f}, intrahash = {cff5373c549b35db96ee011866ddd84c}, journal = {Fundam. Informaticae}, keywords = {dblp}, number = {1-4}, pages = {211-224}, timestamp = {2020-09-19T11:36:33.000+0200}, title = {On Designated Values in Multi-valued CTL* Model Checking.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin60.html#KonikowkaP04}, volume = 60, year = 2004 }