%0 Journal Article %1 journals/cn/BrandJ78 %A Brand, Daniel %A Jr., William H. Joyner %D 1978 %J Computer Networks %K dblp %P 351-360 %T Verification of Protocols Using Symbolic Execution. %U http://dblp.uni-trier.de/db/journals/cn/cn2.html#BrandJ78 %V 2

@article{journals/cn/BrandJ78, added-at = {2011-07-05T00:00:00.000+0200}, author = {Brand, Daniel and Jr., William H. Joyner}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/25bc23c269006c518ede4a10c42e8e595/dblp}, ee = {http://dx.doi.org/10.1016/0376-5075(78)90014-4}, interhash = {ffe1c0710442c40bf72212ab2a00548f}, intrahash = {5bc23c269006c518ede4a10c42e8e595}, journal = {Computer Networks}, keywords = {dblp}, pages = {351-360}, timestamp = {2016-02-02T06:20:59.000+0100}, title = {Verification of Protocols Using Symbolic Execution.}, url = {http://dblp.uni-trier.de/db/journals/cn/cn2.html#BrandJ78}, volume = 2, year = 1978 }