|
Journals in DBLP
Acta Inf. 2000, volume: 37, number: 1
- Youichi Kobuchi, Takashi Saito, Hidenobu Nunome
Semantics analysis through elementary meanings. [Citation Graph (0, 0)][DBLP] Acta Inf., 2000, v:37, n:1, pp:1-19 [Journal]
- Desh Ranjan, Enrico Pontelli, Gopal Gupta
Data structures for order-sensitive predicates in parallel nondeterministic systems. [Citation Graph (0, 0)][DBLP] Acta Inf., 2000, v:37, n:1, pp:21-43 [Journal]
- Béatrice Bérard, Claudine Picaronny
Accepting Zeno words: a way toward timed refinements. [Citation Graph (0, 0)][DBLP] Acta Inf., 2000, v:37, n:1, pp:45-81 [Journal]
|