%0 Conference Paper %1 citeulike:3444524 %A Matos, Paulo J. %A Silva, João M. %B ABZ %D 2008 %E Börger, Egon %E Butler, Michael %E Bowen, Jonathan P. %E Boca, Paul %E Börger, Egon %E Butler, Michael %E Bowen, Jonathan P. %E Boca, Paul %I Springer %K 2008 model\_checking \_hardcopy alloy \_pdf event-b %R http://dx.doi.org/10.1007/978-3-540-87603-8\_34 %T Model Checking Event-B by Encoding into Alloy %U http://dx.doi.org/10.1007/978-3-540-87603-8\_34 %V 5238 %@ 978-3-540-87602-1

@inproceedings{citeulike:3444524, added-at = {2009-03-10T04:32:48.000+0100}, author = {Matos, Paulo J. and Silva, Jo\~ao M.}, biburl = {https://www.bibsonomy.org/bibtex/259ded6161a5f20c2424db56e0aabd53c/leonardo}, booktitle = {ABZ}, citeulike-article-id = {3444524}, description = {'PDF':http://www.citeulike.org/user/leonardo/article/3757243}, doi = {http://dx.doi.org/10.1007/978-3-540-87603-8\_34}, editor = {B\"orger, Egon and Butler, Michael and Bowen, Jonathan P. and Boca, Paul and B\"orger, Egon and Butler, Michael and Bowen, Jonathan P. and Boca, Paul}, interhash = {354948c9f4c076670018253f21d669ff}, intrahash = {59ded6161a5f20c2424db56e0aabd53c}, isbn = {978-3-540-87602-1}, keywords = {2008 model\_checking \_hardcopy alloy \_pdf event-b}, posted-at = {2008-10-23 22:33:07}, priority = {4}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2009-03-10T04:32:48.000+0100}, title = {Model Checking Event-B by Encoding into Alloy}, url = {http://dx.doi.org/10.1007/978-3-540-87603-8\_34}, volume = 5238, year = 2008 }