Works matching IS 00015903 AND DT 2019 AND VI 56 AND IP 3
Results: 3
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
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