CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Analysis of three hybrid systems in timed mu CRL Article
Science of Computer Programming, 39(2-3), 215-247.March 2001
-
Approximate factorization for time-dependent partial differential equations Article
Journal of Computational and Applied Mathematics, 12(1-2), 447-466.March 2001
-
Revealing Local Variablity Properties of Human Heartbeat Intervals with the Local Effective Hölder Exponent Article
Fractals, 9(1), 77-93.March 2001 -
Term graph rewriting : syntax and semantics Dissertation
Specification and Analysis of Embedded SystemsMarch 2001 -
March 2001
-
March 2001 -
Modularization of XHTML™ Standard
April 2001
-
April 2001