Synthesizing Concurrent Programs Using Answer Set Programming

Articolo

Data di Pubblicazione:

2012

Tipologia CRIS:

1.1 Articolo in rivista

Elenco autori:

DE ANGELIS, Emanuele; Pettorossi, A.; Proietti, M.

Link alla scheda completa:

https://ricerca.unich.it/handle/11564/380084

Pubblicato in:

FUNDAMENTA INFORMATICAE

Journal