A Compositional Automata-Based Semantics for Property Patterns

Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Bilal Kanso, Safouan Taha. A Compositional Automata-Based Semantics for Property Patterns. In Einar Broch Johnsen, Luigia Petre, editors, Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings. Volume 7940 of Lecture Notes in Computer Science, pages 316-330, Springer, 2013. [doi]

Abstract

Abstract is missing.