%0 Conference Paper %1 conf/podc/KlarlundNS96 %A Klarlund, Nils %A Nielsen, Mogens %A Sunesen, Kim %B PODC %D 1996 %E Burns, James E. %E Moses, Yoram %I ACM %K dblp %P 101-110 %T Automated Logical Verification Based on Trace Abstractions. %U http://dblp.uni-trier.de/db/conf/podc/podc96.html#KlarlundNS96 %@ 0-89791-800-2

@inproceedings{conf/podc/KlarlundNS96, added-at = {2018-11-06T00:00:00.000+0100}, author = {Klarlund, Nils and Nielsen, Mogens and Sunesen, Kim}, biburl = {https://www.bibsonomy.org/bibtex/2e87a6da70f4f5f8e5d956900b181e4ea/dblp}, booktitle = {PODC}, crossref = {conf/podc/1996}, editor = {Burns, James E. and Moses, Yoram}, ee = {https://doi.org/10.1145/248052.248069}, interhash = {06546b96585308b7ac66138b67979979}, intrahash = {e87a6da70f4f5f8e5d956900b181e4ea}, isbn = {0-89791-800-2}, keywords = {dblp}, pages = {101-110}, publisher = {ACM}, timestamp = {2018-11-07T14:52:49.000+0100}, title = {Automated Logical Verification Based on Trace Abstractions.}, url = {http://dblp.uni-trier.de/db/conf/podc/podc96.html#KlarlundNS96}, year = 1996 }