%0 Book %1 gervais_06_refinement %A Gervais, Frédéric %A Frappier, Marc %A Laleau, Régine %D 2006 %J : B 2007: Formal Specification and Development in B %K 2006 patterns refinement b \_pdf %P 201--215 %R http://dx.doi.org/10.1007/11955757\_17 %T Refinement of eb 3 Process Patterns into B Specifications %U http://dx.doi.org/10.1007/11955757\_17

@book{gervais_06_refinement, added-at = {2009-03-10T04:46:03.000+0100}, author = {Gervais, Fr\'{e}d\'{e}ric and Frappier, Marc and Laleau, R\'{e}gine}, biburl = {https://www.bibsonomy.org/bibtex/283e151071918278af80b370d668f3914/leonardo}, citeulike-article-id = {1019024}, doi = {http://dx.doi.org/10.1007/11955757\_17}, interhash = {ac59986d1e13e25f89fe00df83e33013}, intrahash = {83e151071918278af80b370d668f3914}, journal = {: B 2007: Formal Specification and Development in B}, keywords = {2006 patterns refinement b \_pdf}, pages = {201--215}, posted-at = {2006-12-29 12:23:49}, priority = {4}, timestamp = {2009-03-10T04:46:03.000+0100}, title = {Refinement of eb 3 Process Patterns into B Specifications}, url = {http://dx.doi.org/10.1007/11955757\_17}, year = 2006 }