@phdthesis{Spranger, author = {Spranger, Jochen}, title = {Symbolische LTL-Verifikation von Petrinetzen}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-000000179}, language = {de} }