%0 Journal Article %1 journals/iandc/VardiW94 %A Vardi, Moshe Y. %A Wolper, Pierre %D 1994 %J Inf. Comput. %K dblp %N 1 %P 1-37 %T Reasoning About Infinite Computations %U http://dblp.uni-trier.de/db/journals/iandc/iandc115.html#VardiW94 %V 115

@article{journals/iandc/VardiW94, added-at = {2024-02-05T00:00:00.000+0100}, author = {Vardi, Moshe Y. and Wolper, Pierre}, biburl = {https://www.bibsonomy.org/bibtex/24dd4ea5ec402b45926ff146eeb73a23d/dblp}, ee = {https://www.wikidata.org/entity/Q55952477}, interhash = {4c8fa677e7889f6a46a663ca351b61bf}, intrahash = {4dd4ea5ec402b45926ff146eeb73a23d}, journal = {Inf. Comput.}, keywords = {dblp}, month = {November}, number = 1, pages = {1-37}, timestamp = {2024-04-09T06:10:01.000+0200}, title = {Reasoning About Infinite Computations}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc115.html#VardiW94}, volume = 115, year = 1994 }