%0 Journal Article %1 journals/acta/Ben-AriPM83 %A Ben-Ari, Mordechai %A Pnueli, Amir %A Manna, Zohar %D 1983 %J Acta Informatica %K modelchecking temporallogic %P 207-226 %T The Temporal Logic of Branching Time. %U http://dblp.uni-trier.de/db/journals/acta/acta20.html#Ben-AriPM83 %V 20

@article{journals/acta/Ben-AriPM83, added-at = {2020-01-17T13:57:56.000+0100}, author = {Ben-Ari, Mordechai and Pnueli, Amir and Manna, Zohar}, biburl = {https://www.bibsonomy.org/bibtex/2976b41f914dbc2f6520168f89edc28b6/paves_intern}, description = {Introduction of UB (Unified System of Branching Time), an inspiration for CTL}, ee = {http://dx.doi.org/10.1007/BF01257083}, interhash = {19bc7c2103c84e54d5c1a07d963a42f7}, intrahash = {976b41f914dbc2f6520168f89edc28b6}, journal = {Acta Informatica}, keywords = {modelchecking temporallogic}, pages = {207-226}, timestamp = {2020-01-17T14:09:19.000+0100}, title = {The Temporal Logic of Branching Time.}, url = {http://dblp.uni-trier.de/db/journals/acta/acta20.html#Ben-AriPM83}, volume = 20, year = 1983 }