An efficient simulation algorithm on Kripke structures.
- Published in:
- Acta Informatica, 2014, v. 51, n. 2, p. 107, doi. 10.1007/s00236-014-0195-9
- By:
- Publication type:
- Article
Works matching IS 00015903 AND DT 2014 AND VI 51 AND IP 2
Results: 2
1
2
On weighted first-order logics with discounting.
- Published in:
- Acta Informatica, 2014, v. 51, n. 2, p. 61, doi. 10.1007/s00236-013-0193-3
- By:
- Publication type:
- Article