%0 Conference Paper %1 conf/zum/MikhailovB02 %A Mikhailov, Leonid %A Butler, Michael J. %B ZB %D 2002 %E Bert, Didier %E Bowen, Jonathan P. %E Henson, Martin C. %E Robinson, Ken %I Springer %K dblp %P 140-161 %T An Approach to Combining B and Alloy. %U http://dblp.uni-trier.de/db/conf/zum/zb2002.html#MikhailovB02 %V 2272 %@ 3-540-43166-7

@inproceedings{conf/zum/MikhailovB02, added-at = {2017-05-21T00:00:00.000+0200}, author = {Mikhailov, Leonid and Butler, Michael J.}, biburl = {https://www.bibsonomy.org/bibtex/2b0f6a6196f8ff3fc1ac1b1822c50d093/dblp}, booktitle = {ZB}, crossref = {conf/zum/2002}, editor = {Bert, Didier and Bowen, Jonathan P. and Henson, Martin C. and Robinson, Ken}, ee = {https://doi.org/10.1007/3-540-45648-1_8}, interhash = {f4d8f86afc9104023f9ec78b22df10bb}, intrahash = {b0f6a6196f8ff3fc1ac1b1822c50d093}, isbn = {3-540-43166-7}, keywords = {dblp}, pages = {140-161}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:28:20.000+0200}, title = {An Approach to Combining B and Alloy.}, url = {http://dblp.uni-trier.de/db/conf/zum/zb2002.html#MikhailovB02}, volume = 2272, year = 2002 }