CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
October 2007
-
RDFa in XHTML: Syntax and Processing Tech Report
October 2007
-
October 2007
-
Sensor Networks for Ambient Intelligence In Proceedings
E.J.E.M. Pauwels (Eric), A.A. Salah (Albert Ali) and R. Tavenard (Romain)
October 2007 -
An abstract interpretation toolkit for $\mu$CRL Article
Formal Methods in System Design, 30(3), 249-273.October 2007
-
Conditions structurelles dans le contrôle modulaire des systèmes à événements discrets concurrents In Proceedings
October 2007 -
XForms 1.0 (Third Edition) In Proceedings
October 2007
-
October 2007