IRIS

De Angelis, E., Fioravanti, F., Meo, M., Pettorossi, A., Proietti, M. (2017). Verification of time-aware business processes using constrained Horn clauses. In LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2016 (pp.38-55). Springer.

Verification of time-aware business processes using constrained Horn clauses

PETTOROSSI, ALBERTO;
2017-01-01
International Symposium on logic-based program synthesis and transformation (LOPSTR 2016)
Edinburgh
2016
26
Rilevanza internazionale
2017
Settore ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
English
Intervento a convegno
De Angelis, E., Fioravanti, F., Meo, M., Pettorossi, A., Proietti, M. (2017). Verification of time-aware business processes using constrained Horn clauses. In LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2016 (pp.38-55). Springer.
De Angelis, E; Fioravanti, F; Meo, M; Pettorossi, A; Proietti, M
02 - Intervento a convegno
File in questo prodotto:
File Dimensione Formato  
DFMPP_16-LOPSTR.pdf

solo utenti autorizzati

Licenza: Non specificato
Dimensione 483.69 kB
Formato Adobe PDF
  Visualizza/Apri   Richiedi una copia
483.69 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2108/184181
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? 2
social impact