A Simplified and Stubborn Approach to CTL Model Checking of Petri Nets
Authors
Johannsen, Mads ; Dyhr, Jakob ; Bønneland, Frederik Meyer
Term
4. term
Education
Publication year
2017
Submitted on
2017-06-02
Pages
60
Documents
A master's thesis from Aalborg University