"Model-Based Problem Solving for University Timetable Validation and ..."

David Schneider, Michael Leuschel, Tobias Witt (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics