%0 Conference Paper %1 conf/icalp/Schwarz76 %A Schwarz, J. %B ICALP %D 1976 %E Michaelson, S. %E Milner, Robin %I Edinburgh University Press %K dblp %P 131-146 %T Event Based Reasoning - A System for Proving Correct Termination of Programs. %U http://dblp.uni-trier.de/db/conf/icalp/icalp76.html#Schwarz76 %@ 0-85224-308-1

@inproceedings{conf/icalp/Schwarz76, added-at = {2019-07-08T00:00:00.000+0200}, author = {Schwarz, J.}, biburl = {https://www.bibsonomy.org/bibtex/2913d87e405d6622305597769f5f4d8fa/dblp}, booktitle = {ICALP}, crossref = {conf/icalp/1976}, editor = {Michaelson, S. and Milner, Robin}, interhash = {5fc1d22b6f45f32a3d4387c2fbece317}, intrahash = {913d87e405d6622305597769f5f4d8fa}, isbn = {0-85224-308-1}, keywords = {dblp}, pages = {131-146}, publisher = {Edinburgh University Press}, timestamp = {2019-07-09T11:40:40.000+0200}, title = {Event Based Reasoning - A System for Proving Correct Termination of Programs.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp76.html#Schwarz76}, year = 1976 }