%0 Journal Article %1 journals/logcom/OikarinenJ09 %A Oikarinen, Emilia %A Janhunen, Tomi %D 2009 %J J. Log. Comput. %K dblp %N 4 %P 591-613 %T A Translation-based Approach to the Verification of Modular Equivalence. %U http://dblp.uni-trier.de/db/journals/logcom/logcom19.html#OikarinenJ09 %V 19

@article{journals/logcom/OikarinenJ09, added-at = {2010-07-21T15:46:40.000+0200}, author = {Oikarinen, Emilia and Janhunen, Tomi}, biburl = {https://www.bibsonomy.org/bibtex/2a470b08c72c0b88c5893df1ca49ac3b2/dblp}, date = {2010-05-02}, ee = {http://dx.doi.org/10.1093/logcom/exn039}, interhash = {df0ba631148bd2211c95d89be7cb7c29}, intrahash = {a470b08c72c0b88c5893df1ca49ac3b2}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 4, pages = {591-613}, timestamp = {2010-07-21T15:46:41.000+0200}, title = {A Translation-based Approach to the Verification of Modular Equivalence.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom19.html#OikarinenJ09}, volume = 19, year = 2009 }