A Simplified and Stubborn Approach to CTL Model Checking of Petri Nets
Student thesis: Master thesis (including HD thesis)
- Mads Johannsen
- Jakob Dyhr
- Frederik Meyer Bønneland
4. term, Computer Science, Master (Master Programme)
| Language | English |
|---|---|
| Publication date | 2 Jun 2017 |
| Number of pages | 60 |