A Compositional Automata-Based Semantics for Property Patterns.

Kalou Cabrera Castillos, Frdric Dadeau, Jacques Julliand, Bilal Kanso, Safouan Taha

Browse the full IFM paper archive.