Authors: Stuart, DA Brockmeyer, M Mok, AK Jahanian, F

Citation: Da. Stuart et al., Simulation-verification: Biting at the state explosion problem, IEEE SOFT E, 27(7), 2001, pp. 599-617