A Simplified and Stubborn Approach to CTL Model Checking of Petri Nets

Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  • Mads Johannsen
  • Jakob Dyhr
  • Frederik Meyer Bønneland
4. semester, Datalogi, Kandidat (Kandidatuddannelse)
SprogEngelsk
Udgivelsesdato2 jun. 2017
Antal sider60
ID: 258976896