Home › Bibliography
Young M, Levine DL, Taylor RN. Comments on "Temporal Logic-Based Deadlock Analysis for Ada.". IEEE Transactions on Software Engineering. 1993;19:198-9. Abstract
Taylor RN, Levine DL, Kelly CD. Structural Testing of Concurrent Programs. IEEE Transactions on Software Engineering. 1992;18:206-16. Abstract