Errata to "Formations of Monoids, Congruences, and Formal Languages".
- Published in:
- 2016
- Publication type:
- Correction Notice
Works matching IS 18438121 AND DT 2016 AND VI 26 AND IP 1
Results: 4
1
2
Faithful Modeling of Product Lines with Kripke Structures and Modal Logic.
- Published in:
- Scientific Annals of Computer Science, 2016, v. 26, n. 1, p. 69, doi. 10.7561/SACS.2016.1.69
- By:
- Publication type:
- Article
3
Formal Analysis of Android's Permission-Based Security Model.
- Published in:
- Scientific Annals of Computer Science, 2016, v. 26, n. 1, p. 27, doi. 10.7561/SACS.2016.1.27
- By:
- Publication type:
- Article
4
On Instruction Sets for Boolean Registers in Program Algebra.
- Published in:
- Scientific Annals of Computer Science, 2016, v. 26, n. 1, p. 1, doi. 10.7561/SACS.2016.1.1
- By:
- Publication type:
- Article