Works matching IS 00015903 AND DT 2012 AND VI 49 AND IP 4
Results: 3
First-order logics: some characterizations and closure properties.
- Published in:
- Acta Informatica, 2012, v. 49, n. 4, p. 225, doi. 10.1007/s00236-012-0157-z
- By:
- Publication type:
- Article
Stochastic game logic.
- Published in:
- Acta Informatica, 2012, v. 49, n. 4, p. 203, doi. 10.1007/s00236-012-0156-0
- By:
- Publication type:
- Article
On timed alternating simulation for concurrent timed games.
- Published in:
- Acta Informatica, 2012, v. 49, n. 4, p. 249, doi. 10.1007/s00236-012-0158-y
- By:
- Publication type:
- Article