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 ยต CRL In Proceedings
January 2005 -
Generalized innermost rewriting In Proceedings
January 2005 -
January 2005
-
Solving scheduling problems by untimed model checking In Proceedings
January 2005
-
An assertion-based proof system for multithreaded Java Article
Theoretical Computer Science, 331(2-3), 251-290.E. Abraham (Erika), F.S. de Boer (Frank), W.P. de Roever and M. Steffen
January 2005
-
Foundations - chapter III Book Chapter
F. Arbab (Farhad), F.S. de Boer (Frank), M.M. Bonsangue (Marcello), L.W.N. van der Torre (Leon) and not CWI et al
January 2005 -
Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications, Coordination Models and Languages In Proceedings
F. Arbab (Farhad), C. Baier, F.S. de Boer (Frank), J.J.M.M. Rutten (Jan) and M. Sirjani (Marjan)
January 2005 -
Argumentation for access control In Proceedings
G. Boella (Guido), J. Hulstijn and L.W.N. van der Torre (Leon)
January 2005