%0 Journal Article %1 Leuschel2008 %A Leuschel, Michael %A Butler, Michael %D 2008 %I Springer Berlin / Heidelberg %J International Journal on Software Tools for Technology Transfer (STTT) %K %P 185-203 %T ProB : an automated analysis toolset for the B method %U http://dx.doi.org/10.1007/s10009-007-0063-9 %V 10

@article{Leuschel2008, added-at = {2010-12-02T00:41:41.000+0100}, affiliation = {University of Southampton School of Electronics and Computer Science Highfield Southampton SO17 1BJ UK}, author = {Leuschel, Michael and Butler, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2e18abcaeb96bd7281e07e31a8287bc7e/tasawer}, interhash = {42ad5268d8e01da1fe6c873ef17516e0}, intrahash = {e18abcaeb96bd7281e07e31a8287bc7e}, issn = {1433-2779}, issue = {2}, journal = {International Journal on Software Tools for Technology Transfer (STTT)}, keyword = {Computer Science}, keywords = {}, note = {10.1007/s10009-007-0063-9}, pages = {185-203}, publisher = {Springer Berlin / Heidelberg}, timestamp = {2010-12-02T00:41:41.000+0100}, title = {ProB : an automated analysis toolset for the B method}, url = {http://dx.doi.org/10.1007/s10009-007-0063-9}, volume = 10, year = 2008 }