%0 Journal Article %1 Stoerrle2005 %A Störrle, Harald %D 2005 %J Electr. Notes Theor. Comput. Sci. %K UML activity data diagrams flowgraph net petri %N 4 %P 35-52 %T Semantics and Verification of Data Flow in UML 2.0 Activities %V 127

@article{Stoerrle2005, added-at = {2008-07-18T12:09:16.000+0200}, author = {St{\"o}rrle, Harald}, bibsource = {DBLP, http://dblp.uni-trier.de}, biburl = {https://www.bibsonomy.org/bibtex/2862ae65aba93785e38a8a7033a5e8d69/ist_spl}, description = {MR: Datenflüsse und deren Nachvollziehbarkeit wird ermöglicht durch das Ausnutzen der Verwandschaft von Aktivitätsdiagrammen zu Petri-Netzen.}, ee = {http://dx.doi.org/10.1016/j.entcs.2004.08.046}, interhash = {ed7bf4d0000c7c1b09c16d178ff09d6b}, intrahash = {862ae65aba93785e38a8a7033a5e8d69}, journal = {Electr. Notes Theor. Comput. Sci.}, keywords = {UML activity data diagrams flowgraph net petri}, number = 4, pages = {35-52}, timestamp = {2008-07-18T12:09:16.000+0200}, title = {Semantics and Verification of Data Flow in UML 2.0 Activities}, volume = 127, year = 2005 }