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
Summary Related Articles Check |
This paper is cited in the following contexts:
Robustness and Implementability of Timed Automata - De Wulf, Doyen, Markey, Raskin (2004) Self-citation (De wulf Doyen Raskin) (Correct)
No context found.
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.
Optimal Strategies in Priced Timed Game Automata - Bouyer, Cassez, Fleury, Larsen (2004) (1 citation) (Correct)
No context found.
Martin De Wulf, Laurent Doyen, and Jean-Franois Raskin. Almost ASAP semantics: From timed models to timed implementations. In Proc. 7th International Workshop on Hybrid Systems: Computation and Control (HSCC'04), Lecture Notes in Computer Science. Springer, 2004. To appear.
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