Verification of time-aware business processes using constrained horn clauses
Contributo in Atti di convegno
Data di Pubblicazione:
2017
Tipologia CRIS:
4.1 Contributo in Atti di convegno
Keywords:
Theoretical Computer Science; Computer Science (all)
Elenco autori:
De Angelis, Emanuele; Fioravanti, Fabio; Meo, Maria Chiara; Pettorossi, Alberto; Proietti, Maurizio
Link alla scheda completa:
Titolo del libro:
Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers. LECTURE NOTES IN COMPUTER SCIENCE
Pubblicato in: