Koen Veermans, Wouter R. van Joolingen. Combining Heuristics and Formal Methods in a Tool for Supporting Simulation-Based Discovery Learning. In James C. Lester, Rosa Maria Vicari, Fábio Paraguaçu, editors, Intelligent Tutoring Systems, 7th International Conference, ITS 2004, Maceiò, Alagoas, Brazil, August 30 - September 3, 2004, Proceedings. Volume 3220 of Lecture Notes in Computer Science, pages 217-226, Springer, 2004. [doi]
Abstract is missing.