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 2004
-
January 2004
-
January 2004
-
January 2004
-
Modal abstractions in $ \mu $ CRL In Proceedings
January 2004 -
Verifying a sliding window protocol in muCRL In Proceedings
W.J. Fokkink (Wan), J.F. Groote (Jan Friso), J. Pang (Jun), B. Badban (Bahareh) and J.C. van de Pol (Jaco)
January 2004 -
January 2004
-
January 2004