Department of Information and Computing Sciences

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

technical report RUU-CS-84-12

select other reports

report

techrep_id file title / author
RUU-CS-84-12 pdf The $mu$-calculus as an assertion language for fairness arguments
F.A. Stomp and W.P. de Roever and R.T. Gerth

indexed authors

author group
Gerth, dr. R.T. all reports Algorithmic Systems all reports
Roever, prof. dr. W-P de all reports Algorithmic Systems all reports

BibTeX entry

@TECHREPORT{RUUCS8412,
author = {Stomp, F.A. and Roever, W.P.~de and Gerth, R.T.},
year = 1984,
title = {The $mu$-calculus as an assertion language for fairness arguments},
number = {RUU-CS-84-12},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1984/1984-12.pdf}},
pubcat = {techreport}
}