AAU Student Projects - visit Aalborg University's student projects portal

A master's thesis from Aalborg University

Book cover

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

Computer Science, Master

Publication year

2017

Submitted on

2017-06-02

Pages

60

Documents

Download
View record in AAU Student Projects