Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%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
}