Verification of Time-Aware Business Processes Using Constrained Horn Clauses - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti. Verification of Time-Aware Business Processes Using Constrained Horn Clauses. In Manuel V. Hermenegildo, Pedro López-García 0001, editors, Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers. Volume 10184 of Lecture Notes in Computer Science, pages 38-55, Springer, 2016. [doi]

This author has not been identified. Look up 'Emanuele De Angelis' in GoogleThis author has not been identified. Look up 'Fabio Fioravanti' in GoogleThis author has not been identified. Look up 'Maria Chiara Meo' in GoogleThis author has not been identified. Look up 'Alberto Pettorossi' in GoogleThis author has not been identified. Look up 'Maurizio Proietti' in Google

runs on WebDSL