%0 Journal Article %1 journals/jar/BasinFG03 %A Basin, David A. %A Friedrich, Stefan %A Gawkowski, Marek %D 2003 %J J. Autom. Reasoning %K dblp %N 3-4 %P 399-444 %T Bytecode Verification by Model Checking. %U http://dblp.uni-trier.de/db/journals/jar/jar30.html#BasinFG03 %V 30

@article{journals/jar/BasinFG03, added-at = {2004-02-04T00:00:00.000+0100}, author = {Basin, David A. and Friedrich, Stefan and Gawkowski, Marek}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2c06effeb6eaa35cab67af82c4e95b243/dblp}, ee = {http://dx.doi.org/10.1023/A:1025059508087}, interhash = {29d0706324507f19a7d806f91fe4e239}, intrahash = {c06effeb6eaa35cab67af82c4e95b243}, journal = {J. Autom. Reasoning}, keywords = {dblp}, number = {3-4}, pages = {399-444}, timestamp = {2016-02-02T09:57:44.000+0100}, title = {Bytecode Verification by Model Checking.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar30.html#BasinFG03}, volume = 30, year = 2003 }