%0 Journal Article %1 journals/tse/BirmanJ76 %A Birman, Alexander %A Jr., William H. Joyner %D 1976 %J IEEE Trans. Software Eng. %K dblp %N 2 %P 87-96 %T A Problem-Reduction Approach to Proving Simulation Between Programs. %U http://dblp.uni-trier.de/db/journals/tse/tse2.html#BirmanJ76 %V 2

@article{journals/tse/BirmanJ76, added-at = {2015-12-10T00:00:00.000+0100}, author = {Birman, Alexander and Jr., William H. Joyner}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/20bb29c4ff1c5419e4619ef034e4dcb96/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.1976.233535}, interhash = {0fc8e046ce5b438c837f64adc54c6a87}, intrahash = {0bb29c4ff1c5419e4619ef034e4dcb96}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 2, pages = {87-96}, timestamp = {2016-02-02T09:33:18.000+0100}, title = {A Problem-Reduction Approach to Proving Simulation Between Programs.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse2.html#BirmanJ76}, volume = 2, year = 1976 }