university website Publications by Year
  • sign in
  • Home

CWI Institutional Repository

Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands
  • thumb

    Transforming acyclic programs Tech Report

    A. Bossi and S. Etalle (Sandro)

    January 1993
    open access
  • thumb

    Forward and backward simulations, part II: timing-based systems Tech Report

    N.A. Lynch (Nancy) and F.W. Vaandrager (Frits)

    January 1993
  • thumb

    Reasoning about update logic Tech Report

    D.J.N. van Eijck (Jan) and F.-J. de Vries (Fer-Jan)

    January 1993
    open access
  • thumb

    The regulator problem with robust stability Tech Report

    M.K.K. Cevik and J.M. Schumacher (Hans)

    January 1993
    open access
  • thumb

    Parallelism across the steps in iterated Runge-Kutta methods for stiff initial value problems Tech Report

    P.J. van der Houwen (Piet), B.P. Sommeijer (Ben) and W.A. van der Veen (Wolter)

    January 1993
    open access
  • thumb

    Approximable sets Tech Report

    R. Beigel, M. Kummer and F. Stephan

    January 1993
    open access
  • thumb

    A computer-checked verification of Milner's scheduler Tech Report

    H.P. Korver and J.G. Springintveld

    January 1993
    open access
  • thumb

    Detecting feature interacties with Caesar/Aldébaran Tech Report

    H.P. Korver

    January 1993
    open access
Previous
Next
university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • CWI researchers

    • Register Your Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close