Automata and Logic in IT System Modelling
5 credits
Reading list, Bachelor's level, 1DL500
A revised version of the reading list is available.
Main group 1
- Baier, Christel.; Katoen, Joost-Pieter., Principles of model checking, Cambridge, Mass., The MIT Press, cop. 2008