Axiomatising timed automata.
- Published in:
- Acta Informatica, 2002, v. 38, n. 4, p. 277, doi. 10.1007/s236-002-8035-2
- By:
- Publication type:
- Article
Works matching IS 00015903 AND DT 2002 AND VI 38 AND IP 4
Results: 3
1
2
Minimally adequate teacher synthesizes statechart diagrams<AUG><AU>Erkki<SNM>Mäkinen<ORF RID="A1"><AU><FNMS>Tarja<SNM>Systä<ORF RID="A2"><AFF TYPE="ORG"><OID ID="A1"><OAD>Department of Computer and Information Sciences, University of Tamp...
- Published in:
- Acta Informatica, 2002, v. 38, n. 4, p. 235, doi. 10.1007/s236-002-8033-8
- By:
- Publication type:
- Article
3
The variance of the height of digital search trees<AUG><AU>Michael<SNM>Drmota<ORF RID="A1"><AFF TYPE="ORG"><OID ID="A1"><OAD>Institut für Geometrie, TU Wien, Wiedner Hauptstrasse 8–10/118, 1040 Wien, Austria (e-mail: drmota@tuwien.ac.at...
- Published in:
- Acta Informatica, 2002, v. 38, n. 4, p. 261, doi. 10.1007/s236-002-8034-5
- By:
- Publication type:
- Article