Skip to main content
padlock icon - secure page this page is secure

Publisher: Springer Science and Media

Volume 54, Number 2, 2017

A general account of coinduction up-to
pp. 127-190(64)
Authors: Bonchi, F.; Petrişan, D.; Pous, D.; Rot, J.

Favourites:
ADD

Verification of population protocols
pp. 191-215(25)
Authors: Esparza, J.; Ganty, P.; Leroux, J. r.; Majumdar, R.

Favourites:
ADD

Dynamic Bayesian networks for formal verification of structured stochastic processes
pp. 217-242(26)
Authors: Esmaeil Zadeh Soudjani, S.; Abate, A.; Majumdar, R.

Favourites:
ADD

  • Access Key
  • Free content
  • Partial Free content
  • New content
  • Open access content
  • Partial Open access content
  • Subscribed content
  • Partial Subscribed content
  • Free trial content
Cookie Policy
X
Cookie Policy
Ingenta Connect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more