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 1996
-
January 1996
-
Control and verification of industrial hybrid systems using models specified with the formalism $ chi $ Tech Report
January 1996
-
A syntax directed approach to picture semantics Tech Report
January 1996
-
The open inventor toolkit and the PREMO standard Tech Report
January 1996
-
Minimal sorts for interpreting pictures Tech Report
January 1996
-
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
-
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