CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
A visual approach for modeling spatiotemporal relations In Proceedings
R.L. Guimarães (Rodrigo Laiola), C.S.S. Neto and L.F.G. Soares (Luiz Fernando Gomes)
January 2008 -
January 2008
-
Comment on 'Mechanism of Branching in Negative Ionization Fronts' Article
Physical Review Letters, 1-1.January 2008 -
Propositional Dynamic Logic as a Logic of Belief Revision In Proceedings
January 2008 -
A Framework for Video Interaction with Web Browsers Article
ERCIM News, 25-26.P.S. César Garcia (Pablo Santiago), D.C.A. Bulterman (Dick) and A.J. Jansen (Jack)
January 2008 -
PDL over Accelerated Labeled Transition Systems In Proceedings
T. Chen (Taolue), J.C. van de Pol (Jaco) and Y. Wang (Yanjing)
January 2008
-
Testing Concurrent Objects with Application-Specific Schedulers In Proceedings
F.S. de Boer (Frank), R. Schlatte (Rudolf), B.K. Aichernig and E. Broch Johnsen
January 2008 -
Model-checking agent refinement In Proceedings
January 2008