%0 Thesis %1 hirsch2008modellbasierte %A Hirsch, Martin %D 2008 %K %T Modell-basierte Verifikation von vernetzten mechatronischen Systemen

@phdthesis{hirsch2008modellbasierte, added-at = {2023-12-12T17:19:49.000+0100}, author = {Hirsch, Martin}, biburl = {https://www.bibsonomy.org/bibtex/26ac78442a68407425494ffaa049b19a8/admin}, dnbtitleid = {991661230}, interhash = {02205070471825ba0d371ef5fb9fee8b}, intrahash = {6ac78442a68407425494ffaa049b19a8}, keywords = {}, school = {Uni Paderborn}, timestamp = {2023-12-12T17:19:49.000+0100}, title = {Modell-basierte Verifikation von vernetzten mechatronischen Systemen}, year = 2008 }