ToC

2018

  • Schneider, David, Leuschel, Michael, Witt, Tobias
    Model-based problem solving for university timetable validation and improvement.
    In Formal Aspects of Computing, 2018.

2015

  • David Schneider, Michael Leuschel, Tobias Witt
    Model-Based Problem Solving for University Timetable Validation and Improvement.
    In FM 2015: Formal Methods: 20th International Symposium, Lecture Notes in Computer Science (Book 9109), Springer, 487-495, 2015.