Virtual Collaboration Portal

  • Home
  • Groups
  • Collaborators

Navigation

  • Bibliography
    • Authors
    • Keywords
  • Reading Lists
  • Web Links
  • Gallery
  • Recent posts
  • Acknowledgements

User login

  • Request new password
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
Young M, Taylor RN. Rethinking the Taxonomy of Fault Detection Techniques. Pittsburgh, PA; 1989.