CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
An Abstract Interpretation Toolkit for mCRL In Proceedings
January 2005 -
Online scheduling of splittable tasks In Proceedings
January 2005 -
January 2005
-
February 2005
-
Which two-sorted algebras of Booleans and naturals have a finite basis? Article
Algebra Universalis, 52(4), 469-485.February 2005
-
February 2005
-
Google helpt computer snappen Magazine Article
February 2005 -
Report on standardization activities Tech Report
February 2005