Department of Information and Computing Sciences

technical report RUU-CS-88-06

select other reports

• technical report index page

report

techrep_id	file	title / author
RUU-CS-88-06	pdf	Assertional verification of a termination detection algorithm 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{RUUCS8806,
author = {Schoone, A.A. and Tel, G.},
year = 1988,
title = {Assertional verification of a termination detection algorithm},
number = {RUU-CS-88-06},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1988/1988-06.pdf}},
pubcat = {techreport}
}