%0 Journal Article %1 flake_03_formal %A Flake, Stephan %A Mueller, Wolfgang %D 2003 %J Software and Systems Modeling %K semantics statecharts 2003 ocl uml %N 3 %P 164--186 %R 10.1007/s10270-003-0026-x %T Formal semantics of static and temporal state-oriented OCL constraints %U http://dx.doi.org/10.1007/s10270-003-0026-x %V 2

@article{flake_03_formal, added-at = {2009-02-11T22:25:36.000+0100}, author = {Flake, Stephan and Mueller, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/2c9430f50140a9cc3e186fdb348feab72/leonardo}, citeulike-article-id = {887988}, doi = {10.1007/s10270-003-0026-x}, interhash = {de0c43a459198c731099a765732e2303}, intrahash = {c9430f50140a9cc3e186fdb348feab72}, journal = {Software and Systems Modeling}, keywords = {semantics statecharts 2003 ocl uml}, month = {October}, number = 3, pages = {164--186}, posted-at = {2006-10-07 01:47:29}, priority = {3}, timestamp = {2009-02-11T22:25:36.000+0100}, title = {Formal semantics of static and temporal state-oriented OCL constraints}, url = {http://dx.doi.org/10.1007/s10270-003-0026-x}, volume = 2, year = 2003 }