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

Publisher: Springer Science and Media

Volume 46, Number 3, 2009

Hardness of equivalence checking for composed finite-state systems
pp. 169-191(23)
Authors: Sawa, Z. k.; Jan�?ar, P.

Favourites:
ADD
Favourites:
ADD

Liveness of a mutex algorithm in a fair process algebra
pp. 209-235(27)
Authors: Corradini, F.; Berardini, M. R.; Vogler, W.

Favourites:
ADD

A decomposition theorem for finite persistent transition systems
pp. 237-254(18)
Authors: Best, E.; Darondeau, P.

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