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

Publisher: Springer Science and Media

Volume 45, Number 5, 2008

Algebraic reasoning for probabilistic action systems and while-loops
pp. 321-382(62)
Authors: Meinicke, L.; Hayes, I. J.


The fibers and range of reduction graphs in ciliates
pp. 383-402(20)
Authors: Brijder, R.; Hoogeboom, H. J.


  • 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
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