Login / Signup

Model-based problem solving for university timetable validation and improvement.

David SchneiderMichael LeuschelTobias Witt
Published in: Formal Aspects Comput. (2018)
Keyphrases