Department of Information and Computing Sciences

Departement Informatica contact intern
people education research library calendar archive services jobs

technical report RUU-CS-88-40

select other reports

report

techrep_id file title / author
RUU-CS-88-40 pdf Transformation of a termination detection algorithm and its assertional correctness proof
A.A. Schoone and G. Tel

indexed authors

author group
Schoone, dr. A.A. all reports Algorithmic Systems all reports
Tel, dr. G. all reports Algorithms and Complexity all reports

BibTeX entry

@TECHREPORT{RUUCS8840,
author = {Schoone, A.A. and Tel, G.},
year = 1988,
title = {Transformation of a termination detection algorithm and its assertional correctness proof},
number = {RUU-CS-88-40},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1988/1988-40.pdf}},
pubcat = {techreport}
}