%0 Journal Article %1 journals/sigact/Henzinger93 %A Henzinger, Thomas A. %D 1993 %J SIGACT News %K dblp %N 1 %P 27-28 %T Verifying Temporal Properties of Systems . By Julian Charles Bradfield. (Birkhauser, 1992 viii+113pp . ISBN 0-8176-3625-0 . $49.50). %U http://dblp.uni-trier.de/db/journals/sigact/sigact24.html#Henzinger93 %V 24

@article{journals/sigact/Henzinger93, added-at = {2019-05-28T00:00:00.000+0200}, author = {Henzinger, Thomas A.}, biburl = {https://www.bibsonomy.org/bibtex/2336b2689521f78995693c1140868c39f/dblp}, ee = {https://doi.org/10.1145/152992.990675}, interhash = {27e0c04225f25fed73570623511dc937}, intrahash = {336b2689521f78995693c1140868c39f}, journal = {SIGACT News}, keywords = {dblp}, number = 1, pages = {27-28}, timestamp = {2019-05-29T11:36:54.000+0200}, title = {Verifying Temporal Properties of Systems . By Julian Charles Bradfield. (Birkhauser, 1992 viii+113pp . ISBN 0-8176-3625-0 . $49.50).}, url = {http://dblp.uni-trier.de/db/journals/sigact/sigact24.html#Henzinger93}, volume = 24, year = 1993 }