Works matching IS 00015903 AND DT 2018 AND VI 55 AND IP 5
Results: 3
A first step in characterizing three-element codes.
- Published in:
- Acta Informatica, 2018, v. 55, n. 5, p. 445, doi. 10.1007/s00236-017-0309-2
- By:
- Publication type:
- Article
Event algebra for transition systems composition application to timed automata.
- Published in:
- Acta Informatica, 2018, v. 55, n. 5, p. 363, doi. 10.1007/s00236-017-0302-9
- By:
- Publication type:
- Article
Parity game reductions.
- Published in:
- Acta Informatica, 2018, v. 55, n. 5, p. 401, doi. 10.1007/s00236-017-0301-x
- By:
- Publication type:
- Article