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 2007
-
Silicon Cell Models: construction, analysis and reduction Book Chapter
F.J. Bruggeman (Frank), H.M. Härdin (Hanna), J.H. van Schuppen (Jan) and H.V. Westerhoff (Hans)
January 2007 -
Connector Colouring I: Synchronization and Context Dependency Article
Science of Computer Programming, 66(3), 205-225.D.G. Clarke (David), D.F. de Oliveira Costa (David) and F. Arbab (Farhad)
January 2007 -
January 2007
-
The Formal Specification Language mCRL2 In Proceedings
J.F. Groote (Jan Friso), A.H.J. Mathijssen (Aad), Y.S. Usenko (Yaroslav), M.A. Reniers (Michel) and M.J. van Weerdenburg (Muck)
January 2007
-
Open Source Software: All You Do Is Put It Together Article
IEEE Software, 24(5), 86-91.January 2007
-
Modeling and verifying a Real-Life Industrial Session-Layer Protocol in $\mu$CRL2. Tech Report
Y.S. Usenko (Yaroslav), R. Schreurs (Rene), S. ten Hoedt (Stefan) and M.C.J.D. van Eekelen (Marko)
January 2007
-
Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap In Proceedings
F. Dechesne (Francien), M.R. Mousavi and S.-M. Orzan (Simona-Mihaela)
January 2007