%0 Conference Paper %1 conf/asm/HansenL14 %A Hansen, Dominik %A Leuschel, Michael %B ABZ %D 2014 %E Ameur, Yamine Aït %E Schewe, Klaus-Dieter %I Springer %K dblp %P 40-55 %T Translating B to TLA + for Validation with TLC. %U http://dblp.uni-trier.de/db/conf/asm/abz2014.html#HansenL14 %V 8477 %@ 978-3-662-43651-6

@inproceedings{conf/asm/HansenL14, added-at = {2017-05-21T00:00:00.000+0200}, author = {Hansen, Dominik and Leuschel, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2dbd08fc210afa72d1321ca606524e430/dblp}, booktitle = {ABZ}, crossref = {conf/asm/2014}, editor = {Ameur, Yamine Aït and Schewe, Klaus-Dieter}, ee = {https://doi.org/10.1007/978-3-662-43652-3_4}, interhash = {6383c2fc9c30ac0ddb5a5579980c9bf4}, intrahash = {dbd08fc210afa72d1321ca606524e430}, isbn = {978-3-662-43651-6}, keywords = {dblp}, pages = {40-55}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:42:15.000+0200}, title = {Translating B to TLA + for Validation with TLC.}, url = {http://dblp.uni-trier.de/db/conf/asm/abz2014.html#HansenL14}, volume = 8477, year = 2014 }