%0 Conference Paper %1 conf/ftrtft/PenczekWZ02 %A Penczek, Wojciech %A Wozna, Bozena %A Zbrzezny, Andrzej %B FTRTFT %D 2002 %E Damm, Werner %E Olderog, Ernst-Rüdiger %I Springer %K dblp %P 265-290 %T Towards Bounded Model Checking for the Universal Fragment of TCTL. %U http://dblp.uni-trier.de/db/conf/ftrtft/ftrtft2002.html#PenczekWZ02 %V 2469 %@ 3-540-44165-4

@inproceedings{conf/ftrtft/PenczekWZ02, added-at = {2019-09-16T00:00:00.000+0200}, author = {Penczek, Wojciech and Wozna, Bozena and Zbrzezny, Andrzej}, biburl = {https://www.bibsonomy.org/bibtex/2a5897cb31d2199888eee5fa20b26b346/dblp}, booktitle = {FTRTFT}, crossref = {conf/ftrtft/2002}, editor = {Damm, Werner and Olderog, Ernst-Rüdiger}, ee = {https://doi.org/10.1007/3-540-45739-9_17}, interhash = {21ec7a6b35aad412a59279eda6956bbc}, intrahash = {a5897cb31d2199888eee5fa20b26b346}, isbn = {3-540-44165-4}, keywords = {dblp}, pages = {265-290}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-17T13:11:22.000+0200}, title = {Towards Bounded Model Checking for the Universal Fragment of TCTL.}, url = {http://dblp.uni-trier.de/db/conf/ftrtft/ftrtft2002.html#PenczekWZ02}, volume = 2469, year = 2002 }