De Angelis, E., Pettorossi, A., Proietti, M. (2011). Synthesizing concurrent programs using answer set programming. In Proceedings of the International Workshop on Concurrency, Specification, and Programming (CS&P 2011) (pp.85-98).
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.