CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 1985 -
The total time on test plot and the cumulative total time on test statistic for a counting process Tech Report
January 1985 -
Onderzoek volgtijden op de 2x2-strooks autosnelweg [Investigation of leadways on the 2x2 lane freeway] Tech Report
January 1985 -
Transition systems, infinitary languages and the semantics of uniform concurrency Tech Report
J.W. de Bakker (Jaco), J.-J.C. Meyer (John-Jules), E.R. Olderog (Ernst-Rüdiger) and J.I. Zucker
January 1985 -
Implementation of a new primality test Tech Report
January 1985 -
January 1985 -
January 1985 -
Syntax and defining equations for an interrupt mechanism in process algebra Tech Report
J.C.M. Baeten (Jos), J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)
January 1985