Works matching IS 00015903 AND DT 2014 AND VI 51 AND IP 5
Results: 3
Forward and backward application of symbolic tree transducers.
- Published in:
- Acta Informatica, 2014, v. 51, n. 5, p. 297, doi. 10.1007/s00236-014-0197-7
- By:
- Publication type:
- Article
Controlled finite automata.
- Published in:
- Acta Informatica, 2014, v. 51, n. 5, p. 327, doi. 10.1007/s00236-014-0199-5
- By:
- Publication type:
- Article
General quantitative specification theories with modal transition systems.
- Published in:
- Acta Informatica, 2014, v. 51, n. 5, p. 261, doi. 10.1007/s00236-014-0196-8
- By:
- Publication type:
- Article