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]
@inproceedings{BaldoniM07, title = {Curriculum Model Checking: Declarative Representation and Verification of Properties}, author = {Matteo Baldoni and Elisa Marengo}, year = {2007}, doi = {10.1007/978-3-540-75195-3_33}, url = {http://dx.doi.org/10.1007/978-3-540-75195-3_33}, tags = {model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/BaldoniM07}, cites = {0}, citedby = {0}, pages = {432-437}, booktitle = {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}, editor = {Erik Duval and Ralf Klamma and Martin Wolpers}, volume = {4753}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-75194-6}, }