Found: 3
Select item for more details and to access through your institution.
On the hardness of analyzing probabilistic programs.
- Published in:
- Acta Informatica, 2019, v. 56, n. 3, p. 255, doi. 10.1007/s00236-018-0321-1
- By:
- Publication type:
- Article
Nested antichains for WS1S.
- Published in:
- Acta Informatica, 2019, v. 56, n. 3, p. 205, doi. 10.1007/s00236-018-0331-z
- By:
- Publication type:
- Article
Associative composition of components with double-sided interfaces.
- Published in:
- Acta Informatica, 2019, v. 56, n. 3, p. 229, doi. 10.1007/s00236-018-0328-7
- By:
- Publication type:
- Article