|
Journals in DBLP
- Radu Grosu, Ketil Stølen
Stream-Based Specification of Mobile Systems. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2001, v:13, n:1, pp:1-31 [Journal]
- Steven Vickers, Gillian Hill
Presheaves as Configured Specifications. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2001, v:13, n:1, pp:32-49 [Journal]
- José J. Pazos Arias, Jorge García Duque
SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2001, v:13, n:1, pp:50-91 [Journal]
|