Report copyright - · Other Preliminaries: basic knowledge of logics, discrete structures, graph theory, ... Literature: Baier, Katoen: Principles of Model Checking, MIT Press, 2008 Clarke
Please pass captcha verification before submit form
Please pass captcha verification before submit form