Matteo Baldoni, Elisa Marengo. Curriculum Model Checking: Declarative Representation and Verification of Properties. In Erik Duval, Ralf Klamma, Martin Wolpers, editors, Creating New Learning Experiences on a Global Scale, Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September 17-20, 2007, Proceedings. Volume 4753 of Lecture Notes in Computer Science, pages 432-437, Springer, 2007. [doi]
Abstract is missing.