DIPARTIMENTO DI
INFORMATICA
Università di Torino
Publications
M. Baldoni,
C. Baroglio, and E. Marengo.
Curricula
Modeling and Checking.
In R. Basili and M. T. Pazienza, editors, Proc. of AI*IA 2007: Advances
in Artificial Intelligence, 10th Congress of the Italian Association for
Artificial Intelligence, volume 4733 of LNAI, pages
471-482, Rome, Italy, September 2007. Springer.
(PDF)