%0 Thesis %1 treseler2002rechnerwerkzeug %A Treseler, Heinz %D 2002 %K %T Ein Rechnerwerkzeug zur formalen Verifikation diskret gesteuerter verfahrenstechnischer Prozesse

@phdthesis{treseler2002rechnerwerkzeug, added-at = {2023-12-13T08:32:55.000+0100}, author = {Treseler, Heinz}, biburl = {https://www.bibsonomy.org/bibtex/2b3be3c61a33ee0e2c58a56f7ee3115e7/admin}, dnbtitleid = {965654001}, interhash = {c4d199cbf7740c46c6fe101ba7a00cce}, intrahash = {b3be3c61a33ee0e2c58a56f7ee3115e7}, keywords = {}, school = {Uni Dortmund}, timestamp = {2023-12-13T08:32:55.000+0100}, title = {Ein Rechnerwerkzeug zur formalen Verifikation diskret gesteuerter verfahrenstechnischer Prozesse}, year = 2002 }