Home › Bibliography

Contains the keyword Concurrent programming--Research

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