An Ada deadlock testing algorithm based on control and communication flow graphs.
| Autor: | von Mayrhauser, Anneliese, Hsueh, Shao-Ming Simon |
|---|---|
| Zdroj: | Proceedings of the Conference: TRI-Ada '92; 12/1/1992, p450-457, 8p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|