university website Publications by Year
  • sign in

Publication

  • thumb

    The open inventor toolkit and the PREMO standard Tech Report

    D. Wang (Da), I. Herman (Ivan) and G.J. Reynolds

    January 1996
    open access
  • thumb

    Minimal sorts for interpreting pictures Tech Report

    H. Zeevat and D. Wang (Da)

    January 1996
    open access
  • thumb

    Industrial applications of ASF+SDF Tech Report

    M.G.J. van den Brand (Mark), A. van Deursen (Arie), P. Klint (Paul), A.S. Klusener (Steven) and E.A. van der Meulen (Emma)

    January 1996
    open access
  • thumb

    Reusability of coordination programs Tech Report

    F. Arbab (Farhad), C.L. Blom (Kees), F.J. Burger (Freek) and C.T.H. Everaars (Kees)

    January 1996
  • thumb

    A verification of the bakery protocol combining algebraic and model-oriented techniques Tech Report

    C. Brovedani and A.S. Klusener (Steven)

    January 1996
    open access
  • thumb

    Compact dynamisch busstation [Compact dynamic bus station] Tech Report

    A.S. Klusener (Steven), S.F.M. van Vlijmen and A. Schrijver (Lex)

    January 1996
  • thumb

    Special solutions of the quantum Yang-Baxter equation Tech Report

    N.W. van den Hijligenberg

    January 1996
    open access
  • thumb

    Homogeneous behaviors Tech Report

    M.S. Ravi, J. Rosenthal and J.M. Schumacher (Hans)

    January 1996
    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