%0 Thesis %1 bergenthum2013verifikation %A Bergenthum, Robin %D 2013 %K %T Verifikation von halbgeordneten Abläufen in Petrinetzen

@phdthesis{bergenthum2013verifikation, added-at = {2023-12-13T08:47:38.000+0100}, author = {Bergenthum, Robin}, biburl = {https://www.bibsonomy.org/bibtex/2deae82b2223fff27fdeb1e2fb574d936/admin}, dnbtitleid = {1032665955}, interhash = {c776a6a530c093309b10412976f7f4ba}, intrahash = {deae82b2223fff27fdeb1e2fb574d936}, keywords = {}, school = {Uni Hagen}, timestamp = {2023-12-13T08:47:38.000+0100}, title = {Verifikation von halbgeordneten Abläufen in Petrinetzen}, year = 2013 }