M. De Wulf, L. Doyen, and J.-F. Raskin. Almost ASAP semantics: From timed models to timed implementations. In HSCC 04: Hybrid Systems| Computation and Control, Lecture Notes in Computer Science 2993, pages 296-310. Springer-Verlag, 2004. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
Optimal Strategies in Priced Timed Game Automata - Bouyer, Cassez, Fleury, Larsen (2004) (1 citation) (Correct)
Robustness and Implementability of Timed Automata - De Wulf, Doyen, Markey, Raskin (2004) Self-citation (De wulf Doyen Raskin) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC