%0 Conference Paper %1 conf/popl/WidomGS87 %A Widom, Jennifer %A Gries, David %A Schneider, Fred B. %B POPL %D 1987 %I ACM Press %K dblp %P 27-38 %T Completeness and Incompleteness of Trace-Based Network Proof Systems. %U http://dblp.uni-trier.de/db/conf/popl/popl87.html#WidomGS87 %@ 0-89791-215-2

@inproceedings{conf/popl/WidomGS87, added-at = {2018-11-06T00:00:00.000+0100}, author = {Widom, Jennifer and Gries, David and Schneider, Fred B.}, biburl = {https://www.bibsonomy.org/bibtex/2688e3f1245ddb9323abd6d2e5d6fa3d3/dblp}, booktitle = {POPL}, crossref = {conf/popl/1987}, ee = {https://doi.org/10.1145/41625.41628}, interhash = {9b440f1f50d0c539c8215206cd770146}, intrahash = {688e3f1245ddb9323abd6d2e5d6fa3d3}, isbn = {0-89791-215-2}, keywords = {dblp}, pages = {27-38}, publisher = {ACM Press}, timestamp = {2018-11-07T15:43:47.000+0100}, title = {Completeness and Incompleteness of Trace-Based Network Proof Systems.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl87.html#WidomGS87}, year = 1987 }