@phdthesis{Spranger, author = {Spranger, Jochen}, title = {Symbolische LTL-Verifikation von Petrinetzen}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-000000179}, language = {de} } @phdthesis{Deussen, author = {Deussen, Peter H.}, title = {Analyse verteilter Systeme mit Hilfe von Prozeßautomaten}, publisher = {Brandenburgische Techn. Univ.}, address = {Cottbus}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-000000275}, language = {de} } @phdthesis{Mertke, author = {Mertke, Thomas}, title = {Formale Spezifikation reaktiver Systeme mit einer Sicherheitsfachsprache}, publisher = {Shaker Verlag}, address = {Aachen}, isbn = {3-8322-3085-8}, pages = {XV, 225}, language = {de} }