- M. Baldoni and E. Marengo.
Curriculum Model Checking:
Declarative Representation and Verification of Properties.
In E. Duval, R. Klamma, and M. Wolpers, editors, Proc. of EC-TEL 2007 -
Second European Conference on Technology Enhanced Learning, volume
4753 of LNCS, pages 432-437. Springer, 2007.
- M. Baldoni,
C. Baroglio, and E. Marengo.
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.