Verification of Time-Aware Business Processes Using Constrained Horn Clauses.

Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti

Browse the full LOPSTR paper archive.