%0 Thesis %1 heise2002grundlagen %A Heise, Andreas %D 2002 %K %T Grundlagen strukturierten Spezifizierens mit höheren Netzen

@phdthesis{heise2002grundlagen, added-at = {2023-12-12T18:20:25.000+0100}, author = {Heise, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/205a2e58d5d061ef8a5ca45370366ba88/admin}, dnbtitleid = {96605119X}, interhash = {10dd818ae1d6f9076c7ca748c55a4eef}, intrahash = {05a2e58d5d061ef8a5ca45370366ba88}, keywords = {}, school = {TU München}, timestamp = {2023-12-12T18:20:25.000+0100}, title = {Grundlagen strukturierten Spezifizierens mit höheren Netzen}, year = 2002 }