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
-
Formal analysis techniques for gossiping protocols Article
ACM SIGOPS Operating Systems Review, 41(5), 28-36.R. Bakhshi (Rena), F. Bonnet, W.J. Fokkink (Wan) and B. Haverkort
October 2007 -
October 2007
-
XForms 1.0 Tech Report
October 2007 -
October 2007
-
Conditions structurelles dans le contrôle modulaire des systèmes à événements discrets concurrents In Proceedings
October 2007 -
An abstract interpretation toolkit for $\mu$CRL Article
Formal Methods in System Design, 30(3), 249-273.October 2007