|
Journals in DBLP
- José Luiz Fiadeiro, T. S. E. Maibaum
Temporal Theories as Modularisation Units for Concurrent System Specification. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1992, v:4, n:3, pp:239-272 [Journal]
- James H. Anderson, Mohamed G. Gouda
A Criterion for Atomicity. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1992, v:4, n:3, pp:273-298 [Journal]
- Michael Fisher
A Model Checker for Linear Time Temporal Logic. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1992, v:4, n:3, pp:299-319 [Journal]
|