|
Journals in DBLP
- Laura K. Dillon
A Visual Model for Ada Tasking. [Citation Graph (0, 0)][DBLP] ACM Trans. Softw. Eng. Methodol., 1993, v:2, n:4, pp:311-345 [Journal]
- Farn Wang, Aloysius K. Mok, E. Allen Emerson
Distributed Real-Time System Specification and Verification in APTL. [Citation Graph (0, 0)][DBLP] ACM Trans. Softw. Eng. Methodol., 1993, v:2, n:4, pp:346-378 [Journal]
- Pamela Zave, Michael Jackson
Conjunction as Composition. [Citation Graph (0, 0)][DBLP] ACM Trans. Softw. Eng. Methodol., 1993, v:2, n:4, pp:379-411 [Journal]
|