Automata and Logic in IT System Modelling

5 credits

Reading list, Bachelor's level, 1DL500

Baier, Christel.; Katoen, Joost-Pieter., Principles of model checking, Cambridge, Mass., The MIT Press, cop. 2008

Syllabus