|
Journals in DBLP
Acta Inf. 1997, volume: 34, number: 9
- C. Samuel Hsieh
A Fine-Grained Data-Flow Analysis Framework. [Citation Graph (0, 0)][DBLP] Acta Inf., 1997, v:34, n:9, pp:653-665 [Journal]
- Vijay K. Garg, Alexander I. Tomlinson
Using the Causal Domain to Specify and verify Distributed Programs. [Citation Graph (0, 0)][DBLP] Acta Inf., 1997, v:34, n:9, pp:667-686 [Journal]
- Apostolos Burnetas, Daniel Solow, Rishi Agarwal
An Analysis and Implementation of an Efficient In-Place Bucket Sort. [Citation Graph (0, 0)][DBLP] Acta Inf., 1997, v:34, n:9, pp:687-700 [Journal]
- Christel Baier, Mila E. Majster-Cederbaum
Metric Semantics from Partial Order Semantics. [Citation Graph (0, 0)][DBLP] Acta Inf., 1997, v:34, n:9, pp:701-735 [Journal]
|