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)
LanguageEnglish
Publication date2 Jun 2017
Number of pages60
ID: 258976896