%0 Book %1 bostrom_06_formal %A Boström, Pontus %A Neovius, Mats %A Oliver, Ian %A Waldén, Marina %D 2006 %J Lecture Notes in Computer Science : B 2007: Formal Specification and Development in B %K mda 2006 formal pim statecharts psm \_pdf transformation %P 186--200 %R http://dx.doi.org/10.1007/11955757\_16 %T Formal Transformation of Platform Independent Models into Platform Specific Models %U http://dx.doi.org/10.1007/11955757\_16

@book{bostrom_06_formal, added-at = {2009-03-10T04:46:27.000+0100}, author = {Bostr\"{o}m, Pontus and Neovius, Mats and Oliver, Ian and Wald\'{e}n, Marina}, biburl = {https://www.bibsonomy.org/bibtex/27e0db584dc7a6e713dafee91901a17c4/leonardo}, citeulike-article-id = {997884}, doi = {http://dx.doi.org/10.1007/11955757\_16}, interhash = {3ec6e8935cf7d0e0331d4b1b28ce0f3b}, intrahash = {7e0db584dc7a6e713dafee91901a17c4}, journal = {Lecture Notes in Computer Science : B 2007: Formal Specification and Development in B}, keywords = {mda 2006 formal pim statecharts psm \_pdf transformation}, pages = {186--200}, posted-at = {2006-12-16 19:18:34}, priority = {4}, timestamp = {2009-03-10T04:46:27.000+0100}, title = {Formal Transformation of Platform Independent Models into Platform Specific Models}, url = {http://dx.doi.org/10.1007/11955757\_16}, year = 2006 }