%0 Conference Paper %1 conf/kbse/FrinckeAL91 %A Frincke, Deborah A. %A Archer, Myla %A Levitt, Karl N. %B KBSE %D 1991 %I IEEE Computer Society %K dblp %P 151-160 %T CTPLAN: A Planning-Based Approach to Automatically Detecting Flaws in Concurrent Algorithms. %U http://dblp.uni-trier.de/db/conf/kbse/kbse1991.html#FrinckeAL91 %@ 0-8186-2605-4

@inproceedings{conf/kbse/FrinckeAL91, added-at = {2015-08-13T00:00:00.000+0200}, author = {Frincke, Deborah A. and Archer, Myla and Levitt, Karl N.}, biburl = {https://www.bibsonomy.org/bibtex/205a335f63ccc124b15ddbda3ed4e9eda/dblp}, booktitle = {KBSE}, crossref = {conf/kbse/1991}, ee = {http://dx.doi.org/10.1109/KBSE.1991.638032}, interhash = {c9d1f448abe6e95e49e8a45e48e79189}, intrahash = {05a335f63ccc124b15ddbda3ed4e9eda}, isbn = {0-8186-2605-4}, keywords = {dblp}, pages = {151-160}, publisher = {IEEE Computer Society}, timestamp = {2015-08-14T11:36:15.000+0200}, title = {CTPLAN: A Planning-Based Approach to Automatically Detecting Flaws in Concurrent Algorithms.}, url = {http://dblp.uni-trier.de/db/conf/kbse/kbse1991.html#FrinckeAL91}, year = 1991 }