Login / Signup

A Compositional Automata-Based Semantics for Property Patterns.

Kalou Cabrera CastillosFrédéric DadeauJacques JulliandBilal KansoSafouan Taha
Published in: IFM (2013)
Keyphrases