technical report RUU-CS-88-06
select other reports
report
techrep_id |
file |
title / author |
RUU-CS-88-06 |
pdf |
Assertional verification of a termination detection algorithm A.A. Schoone and G. Tel |
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}
}