%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://puma.ub.uni-stuttgart.de/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-09-27T13:59:58.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
}