Bounded Model Checking of ACTL Formulae.

Wei Chen, Wenhui Zhang

Browse the full TASE paper archive.