%0 Journal Article %1 journals/sosym/FlakeM03 %A Flake, Stephan %A Müller, Wolfgang %D 2003 %J Softw. Syst. Model. %K dblp %N 3 %P 164-186 %T Formal semantics of static and temporal state-oriented OCL constraints. %U http://dblp.uni-trier.de/db/journals/sosym/sosym2.html#FlakeM03 %V 2

@article{journals/sosym/FlakeM03, added-at = {2020-09-18T00:00:00.000+0200}, author = {Flake, Stephan and Müller, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/22e744336485af043c779753d4b18e114/dblp}, ee = {https://doi.org/10.1007/s10270-003-0026-x}, interhash = {03e1c493a9effddb262af691d316fc9f}, intrahash = {2e744336485af043c779753d4b18e114}, journal = {Softw. Syst. Model.}, keywords = {dblp}, number = 3, pages = {164-186}, timestamp = {2020-09-19T11:40:27.000+0200}, title = {Formal semantics of static and temporal state-oriented OCL constraints.}, url = {http://dblp.uni-trier.de/db/journals/sosym/sosym2.html#FlakeM03}, volume = 2, year = 2003 }