Works matching IS 00015903 AND DT 2017 AND VI 54 AND IP 2
Results: 3
Verification of population protocols.
- Published in:
- Acta Informatica, 2017, v. 54, n. 2, p. 191, doi. 10.1007/s00236-016-0272-3
- By:
- Publication type:
- Article
Dynamic Bayesian networks for formal verification of structured stochastic processes.
- Published in:
- Acta Informatica, 2017, v. 54, n. 2, p. 217, doi. 10.1007/s00236-016-0287-9
- By:
- Publication type:
- Article
A general account of coinduction up-to.
- Published in:
- Acta Informatica, 2017, v. 54, n. 2, p. 127, doi. 10.1007/s00236-016-0271-4
- By:
- Publication type:
- Article