CRIS Current Research Information System

De Boer, F.S., Gabbrielli, M. (2014). Leaving traces: A note on a sound and complete trace logic for concurrent constraint programs. Springer Verlag [10.1007/978-3-319-06880-0_8].

Leaving traces: A note on a sound and complete trace logic for concurrent constraint programs

GABBRIELLI, MAURIZIO
2014
2014
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
168
179
De Boer, F.S., Gabbrielli, M. (2014). Leaving traces: A note on a sound and complete trace logic for concurrent constraint programs. Springer Verlag [10.1007/978-3-319-06880-0_8].
De Boer, Frank S.; Gabbrielli, Maurizio
4.01 Contributo in Atti di convegno
File in questo prodotto:
Eventuali allegati, non sono esposti

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/11585/520937
 Attenzione

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

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