%0 Book %1 bostrom_06_formal %A Boström, Pontus %A Neovius, Mats %A Oliver, Ian %A Wald'en, Marina %D 2006 %J Lecture Notes in Computer Science : B 2007: Formal Specification and Development in B %K mda 2006 formal pim statecharts psm transformation %P 186--200 %R 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-02-11T20:55:35.000+0100}, author = {Bostr"{o}m, Pontus and Neovius, Mats and Oliver, Ian and Wald'{e}n, Marina}, biburl = {https://www.bibsonomy.org/bibtex/293cffc885ec8ca8699ed86718beb1514/leonardo}, citeulike-article-id = {997884}, doi = {10.1007/11955757_16}, interhash = {ee3f2d2431b909f5dd971a8bb84d0070}, intrahash = {93cffc885ec8ca8699ed86718beb1514}, journal = {Lecture Notes in Computer Science : B 2007: Formal Specification and Development in B}, keywords = {mda 2006 formal pim statecharts psm transformation}, pages = {186--200}, posted-at = {2006-12-16 19:18:34}, priority = {4}, timestamp = {2009-02-11T20:55:35.000+0100}, title = {Formal Transformation of Platform Independent Models into Platform Specific Models}, url = {http://dx.doi.org/10.1007/11955757_16}, year = 2006 }