A Simplified and Stubborn Approach to CTL Model Checking of Petri Nets
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
- Mads Johannsen
- Jakob Dyhr
- Frederik Meyer Bønneland
4. semester, Datalogi, Kandidat (Kandidatuddannelse)
| Sprog | Engelsk |
|---|---|
| Udgivelsesdato | 2 jun. 2017 |
| Antal sider | 60 |