Maria Chiara Meo (1)
Identifiers
No identifiers captured yet.
Papers (1)
- Verification of Time-Aware Business Processes using Constrained Horn Clauses cs.LO · 2016 · author #3
Mentions
No mention provenance yet.
Frequent Coauthors
- (2) DICII 1 shared papers
- (3) IASI-CNR 1 shared papers
- Alberto Pettorossi (2) 1 shared papers
- Emanuele De Angelis (1) 1 shared papers
- Fabio Fioravanti (1) 1 shared papers
- Italy 1 shared papers
- Italy) 1 shared papers
- Maurizio Proietti (3) ((1) DEC 1 shared papers
- Pescara 1 shared papers
- Rome 1 shared papers
- University G. d'Annunzio 1 shared papers
- University of Rome Tor Vergata 1 shared papers