| emsoft | participants

Ting Zhang

EMSOFT 2003: 3rd International Conference on Embedded Software

Event Correlation: Language and Semantics

César Sánchez, Sriram Sankaranarayanan, Henny B. Sipma, Ting Zhang, David L. Dill, and Zohar Manna