%0 Generic %1 MannaPnueli91CompletingTemporalPicture %A Manna, Zohar %A Pnueli, Amir %D 1991 %K assertional completeness concurrent ltl2buchi temporal verification %T Completing the Temporal Picture

@misc{MannaPnueli91CompletingTemporalPicture, added-at = {2010-05-05T16:50:13.000+0200}, author = {Manna, Zohar and Pnueli, Amir}, biburl = {https://www.bibsonomy.org/bibtex/27c726dcb9ed4910d108bbe26d008c8ad/giuliano.losa}, interhash = {dfafe0ea1a2bf9b283ef383343c26956}, intrahash = {7c726dcb9ed4910d108bbe26d008c8ad}, keywords = {assertional completeness concurrent ltl2buchi temporal verification}, timestamp = {2010-05-05T16:50:13.000+0200}, title = {Completing the Temporal Picture}, year = 1991 }