|
Journals in DBLP
Acta Inf. 1998, volume: 35, number: 2
- Beverly A. Sanders
Data Refinement of Mixed Specifications. [Citation Graph (0, 0)][DBLP] Acta Inf., 1998, v:35, n:2, pp:91-129 [Journal]
- Ralph-Johan Back, Qiwen Xu
Refinement of Fair Action Systems. [Citation Graph (0, 0)][DBLP] Acta Inf., 1998, v:35, n:2, pp:131-165 [Journal]
- Stefan Andrei, Cristian Masalagiu
About the Collatz Conjecture. [Citation Graph (0, 0)][DBLP] Acta Inf., 1998, v:35, n:2, pp:167-179 [Journal]
|