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].
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.