Trace- and failure-based semantics for responsiveness.
- Published in:
- Acta Informatica, 2014, v. 51, n. 8, p. 499, doi. 10.1007/s00236-014-0205-y
- By:
- Publication type:
- Article
Works matching IS 00015903 AND DT 2014 AND VI 51 AND IP 8
Results: 2
1
2
Head and state hierarchies for unary multi-head finite automata.
- Published in:
- Acta Informatica, 2014, v. 51, n. 8, p. 553, doi. 10.1007/s00236-014-0206-x
- By:
- Publication type:
- Article