%0 Thesis %1 phd/dnb/Fischer15b %A Fischer, Stephan %D 2015 %I Shaker %K dblp %T Entwurf und Verifikation von Ablaufsteuerungen.

@phdthesis{phd/dnb/Fischer15b, added-at = {2021-07-17T00:00:00.000+0200}, author = {Fischer, Stephan}, biburl = {https://www.bibsonomy.org/bibtex/290bb8594888088c514359849bc167dcd/dblp}, ee = {https://d-nb.info/1066198160}, interhash = {6eff3a7177d6e15d84b2e3aee6f4ed4e}, intrahash = {90bb8594888088c514359849bc167dcd}, keywords = {dblp}, publisher = {Shaker}, school = {Dortmund University of Technology}, timestamp = {2024-04-09T08:19:33.000+0200}, title = {Entwurf und Verifikation von Ablaufsteuerungen.}, year = 2015 }