Publication
-
January 2008
-
January 2008
-
January 2008
-
PDL over Accelerated Labeled Transition Systems In Proceedings
January 2008
-
Spatial coupling of particle and fluid models for streamers: where nonlocality matters Article
Journal of Physics D: Applied PhysicsJanuary 2008
-
Backtracking Incremental Continuous Integration In Proceedings
January 2008
-
Propositional Dynamic Logic as a Logic of Belief Revision In Proceedings
January 2008 -
January 2008