Event Correlation: Language and Semantics.

Csar Snchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, Zohar Manna

Browse the full EMSOFT paper archive.