×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [kripke structure s]
Home >
kripke structure s
© Fachgebiet Softwaretechnik, Heinz Nixdorf Institut, Universität Paderborn 5. Model Checking Modellbasierte Softwareentwicklung 1 17.01.2013.
212 views
Review of the automata-theoretic approach to model-checking.
221 views