DE BOER, F., Gabbrielli, M., Meo, M.C. (2004). Proving Correctness of Timed Concurrent Constraint Programs. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 5(4), xx-yy [10.1145/1024922.1024926].

Proving Correctness of Timed Concurrent Constraint Programs

GABBRIELLI, MAURIZIO;
2004

2004
DE BOER, F., Gabbrielli, M., Meo, M.C. (2004). Proving Correctness of Timed Concurrent Constraint Programs. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 5(4), xx-yy [10.1145/1024922.1024926].
DE BOER, F; Gabbrielli, Maurizio; Meo, M. C.
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/1529
 Attenzione

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

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