|
Journals in DBLP
Acta Inf. 2001, volume: 37, number: 4/5
- Manfred Broy
Letter from the Editor. [Citation Graph (0, 0)][DBLP] Acta Inf., 2001, v:37, n:4/5, pp:227-228 [Journal]
- Rob J. van Glabbeek, Ursula Goltz
Refinement of actions and equivalence notions for concurrent systems. [Citation Graph (0, 0)][DBLP] Acta Inf., 2001, v:37, n:4/5, pp:229-327 [Journal]
- Annabelle McIver, Carroll Morgan
Demonic, angelic and unbounded probabilistic choices in sequential programs. [Citation Graph (0, 0)][DBLP] Acta Inf., 2001, v:37, n:4/5, pp:329-354 [Journal]
- Philippe Chanzy, Luc Devroye, Carlos Zamora-Cura
Analysis of range search for random k-d trees. [Citation Graph (0, 0)][DBLP] Acta Inf., 2001, v:37, n:4/5, pp:355-383 [Journal]
|