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 1983 -
January 1983 -
A Counterexample to a Conjecture of J.M. Hammersley and D.J.A. Welsh concerning First-Passage Percolation Article
Advances in Applied Probability, 465-467.January 1983 -
Formal proof systems for program equivalence In Proceedings
January 1983 -
Fairness assumptions for CSP in a temporal logic framework In Proceedings
January 1983 -
Symmetric systems with semisimple structure algebra: the quaternionic case Article
Systems & Control Letters, 3(3), 151-154.January 1983 -
Estimating the global error of Runge-Kutta approximations for ordinary differential equations In Proceedings
January 1983 -
Current algebras and the identification problem Article
Stochastics, 11(1-2), 65-101.P.S. Krishnaprasad, S.I. Marcus (Steven) and M. Hazewinkel (Michiel)
January 1983