Event-Driven Programming with Logical Execution Times

Arkadeb Ghosal, Thomas A. Henzinger, Christoph M. Kirsch, Marco A. A. Sanvido. Event-Driven Programming with Logical Execution Times. In Rajeev Alur, George J. Pappas, editors, Hybrid Systems: Computation and Control, 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings. Volume 2993 of Lecture Notes in Computer Science, pages 357-371, Springer, 2004. [doi]

Authors

Arkadeb Ghosal

This author has not been identified. Look up 'Arkadeb Ghosal' in Google

Thomas A. Henzinger

This author has not been identified. Look up 'Thomas A. Henzinger' in Google

Christoph M. Kirsch

This author has not been identified. Look up 'Christoph M. Kirsch' in Google

Marco A. A. Sanvido

This author has not been identified. Look up 'Marco A. A. Sanvido' in Google