Bachelor Informatica & Economie

The following thesis was written by a student in the 2018-2019 class of the Bachelor Informatica & Economie programme at Leiden University.

Thesis details

TitlePetri Nets & Property Directed Reachability
StudentRandel, O.R.
ProgrammeBachelor Informatica & Economie
Thesis Open Thesis PDF

Citation details

Randel, O.R., Petri Nets & Property Directed Reachability, Thesis Bachelor Informatica & Economie, LIACS, Leiden University, 2019.