|
Journals in DBLP
Acta Inf. 2002, volume: 38, number: 4
- Erkki Mäkinen, Tarja Systä
Minimally adequate teacher synthesizes statechart diagrams. [Citation Graph (0, 0)][DBLP] Acta Inf., 2002, v:38, n:4, pp:235-259 [Journal]
- Michael Drmota
The variance of the height of digital search trees. [Citation Graph (0, 0)][DBLP] Acta Inf., 2002, v:38, n:4, pp:261-276 [Journal]
- Huimin Lin, Wang Yi
Axiomatising timed automata. [Citation Graph (0, 0)][DBLP] Acta Inf., 2002, v:38, n:4, pp:277-305 [Journal]
|