Works matching IS 14060086 AND DT 2003 AND VI 52 AND IP 4
Results: 7
Erratum: High-temperature atomic layer epitaxy of TiO[sub2] from TiCl[sub4] and H[sub2]O[sub2]--H[sub2]O (Proc. Estonian Acad. Sci. Phys. Math., 2003, 52, 3, 257--265).
- Published in:
- 2003
- Publication type:
- Correction Notice
Global invariants for analysing multi-threaded applications.
- Published in:
- Proceedings of the Estonian Academy of Sciences, Physics, Mathematics, 2003, v. 52, n. 4, p. 413
- By:
- Publication type:
- Article
Fairness in automata theoretic model checking.
- Published in:
- Proceedings of the Estonian Academy of Sciences, Physics, Mathematics, 2003, v. 52, n. 4, p. 394
- By:
- Publication type:
- Article
Extracting high-level information from Petri nets: a railroad case.
- Published in:
- Proceedings of the Estonian Academy of Sciences, Physics, Mathematics, 2003, v. 52, n. 4, p. 378
- By:
- Publication type:
- Article
Labelled BNF: a high-level formalism for defining well-behaved programming languages.
- Published in:
- Proceedings of the Estonian Academy of Sciences, Physics, Mathematics, 2003, v. 52, n. 4, p. 356, doi. 10.3176/phys.math.2003.4.02
- By:
- Publication type:
- Article
On the category of data dependency algebras and embeddings.
- Published in:
- Proceedings of the Estonian Academy of Sciences, Physics, Mathematics, 2003, v. 52, n. 4, p. 337, doi. 10.3176/phys.math.2003.4.01
- By:
- Publication type:
- Article
Foreword.
- Published in:
- Proceedings of the Estonian Academy of Sciences, Physics, Mathematics, 2003, v. 52, n. 4, p. 335
- By:
- Publication type:
- Article