%0 Conference Paper %1 jacob_06_rule %A Jacob, Joost %D 2006 %J : Leveraging Applications of Formal Methods %K rml 2006 statecharts xml simulation uml rules transformation %P 26--41 %R 10.1007/11925040_3 %T A Rule Markup Language and Its Application to UML %U http://dx.doi.org/10.1007/11925040_3

@inproceedings{jacob_06_rule, added-at = {2009-02-11T20:57:30.000+0100}, author = {Jacob, Joost}, biburl = {https://www.bibsonomy.org/bibtex/27a7b4709807a326d053e434b5d946ef9/leonardo}, citeulike-article-id = {1129248}, doi = {10.1007/11925040_3}, interhash = {5c5da5d9e8f14e72c4ab9f672e1c5950}, intrahash = {7a7b4709807a326d053e434b5d946ef9}, journal = {: Leveraging Applications of Formal Methods}, keywords = {rml 2006 statecharts xml simulation uml rules transformation}, pages = {26--41}, posted-at = {2007-02-28 12:22:20}, priority = {4}, timestamp = {2009-02-11T20:57:30.000+0100}, title = {A Rule Markup Language and Its Application to UML}, url = {http://dx.doi.org/10.1007/11925040_3}, year = 2006 }