Department of Information and Computing Sciences

technical report RUU-CS-88-40

select other reports

• technical report index page

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}
}