Publication
-
September 2008
-
P3C: A New Algorithm for the Simple Temporal Problem In Proceedings
September 2008 -
Bliksemboom News Broadcast
September 2008 -
The Language Specification Formalism ASF+SDF Magazine Article
September 2008
-
Autonomous Scheduling with Unbounded and Bounded Agents In Proceedings
September 2008 -
Towards a Method for the Evaluation of Reference Architectures: Experiences from a Case In Proceedings
September 2008
-
Refinement of Kripke Models for Dynamics In Proceedings
September 2008
-
September 2008