IRIS

Verification of time-aware business processes using constrained horn clauses

De Angelis, Emanuele
;Fioravanti, Fabio
;Meo, Maria Chiara;Proietti, Maurizio
2017-01-01
2017
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
Manuel V Hermenegildo; Pedro Lopez-Garcia
WOS:000441349700003
Inglese
INTERNATIONAL SYMPOSIUM ON LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION
2016
gbr
10184
38
55
18
9783319631387
Springer Verlag
Theoretical Computer Science; Computer Science (all)
http://springerlink.com/content/0302-9743/copyright/2005/
2-s2.0-85028301444
no
none
De Angelis, Emanuele; Fioravanti, Fabio; Meo, Maria Chiara; Pettorossi, Alberto; Proietti, Maurizio
273
info:eu-repo/semantics/conferenceObject
5
4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
4.1 Contributo in Atti di convegno
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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/11564/684493
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? 2
social impact