%0 Thesis %1 phd/dnb/Huls20 %A Hüls, Jannik %D 2020 %K dblp %P 1-216 %T Model checking hybrid Petri nets with multiple general transition firings.

@phdthesis{phd/dnb/Huls20, added-at = {2021-07-17T00:00:00.000+0200}, author = {Hüls, Jannik}, biburl = {https://www.bibsonomy.org/bibtex/2f5752733befaa21a160a1f3aae7858b4/dblp}, ee = {https://d-nb.info/1221563998}, interhash = {076e779c8a18f7a32ddd8a954fae3df9}, intrahash = {f5752733befaa21a160a1f3aae7858b4}, keywords = {dblp}, pages = {1-216}, school = {University of Münster, Germany}, timestamp = {2024-04-09T08:29:08.000+0200}, title = {Model checking hybrid Petri nets with multiple general transition firings.}, year = 2020 }