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 1997
-
A two-level approach to automated conformance testing of VHDL designs Tech Report
J.R. Moonen, J.M.T. Romijn (Judi), O. Sies (Olaf), J.G. Springintveld, L.M.G. Feijs (Loe) and R.L.C. Koymans
January 1997
-
How fast the Laplace equation was solved in 1995 Article
Applied Numerical Mathematics, 24(4), 439-455.E.F.F. Botta, K. Dekker, Y. Notay, A. van der Ploeg (Auke), C. Vuik, F.W. Wubs (Fred) and P.M. de Zeeuw (Paul)
January 1997
-
January 1997
-
January 1997
-
Typed logics with states Tech Report
January 1997
-
January 1997
-
January 1997