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

Publisher: Springer Science and Media

Volume 47, Number 1, 2010

Automata-based verification of programs with tree updates
pp. 1-31(31)
Authors: Habermehl, P.; Iosif, R.; Vojnar, T.

Favourites:
ADD

Symmetry and partial order reduction techniques in model checking Rebeca
pp. 33-66(34)
Authors: Jaghoori, M. M.; Sirjani, M.; Mousavi, M. R.; Khamespanah, E.; Movaghar, A.

Favourites:
ADD

M/M/1 retrial queue with working vacations
pp. 67-75(9)
Author: Do, T. V.

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