Found: 2
Select item for more details and to access through your institution.
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
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