@phdthesis{Spranger2002, author = {Jochen Spranger}, title = {Symbolische LTL-Verifikation von Petrinetzen}, type = {doctoralthesis}, url = {http://opus.kobv.de/btu/volltexte/2007/97/}, year = {2002}, }