Home › Bibliography

Contains the keyword Models of Computation

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