Deborah A. Frincke, Myla Archer, Karl N. Levitt
CTPLAN: A Planning-Based Approach to Automatically Detecting Flaws in Concurrent Algorithms
ASE, 1991.
@inproceedings{KBSE-1991-FrinckeAL,
author = "Deborah A. Frincke and Myla Archer and Karl N. Levitt",
booktitle = "{Proceedings of the Sixth Annual Knowledge-Based Software Engineering Conference}",
pages = "151--160",
publisher = "{IEEE Computer Society}",
title = "{CTPLAN: A Planning-Based Approach to Automatically Detecting Flaws in Concurrent Algorithms}",
year = 1991,
}