Simulation-verification: biting at the state explosion problem
 |
 |
@article{stuart2001,
title={Simulation-verification: biting at the state explosion problem},
author={Stuart, Douglas A. and Brockmeyer, Monica and Mok, Aloysius K. and Jahanian, Farnam},
journal={IEEE Transactions on Software Engineering},
year={2001},
month={july},
volume={27},
number={7},
pages={599--617},
doi={10.1109/32.935853},
ISSN={0098-5589},
publisher ={IEEE Computer Sosciety}
}
title={Simulation-verification: biting at the state explosion problem},
author={Stuart, Douglas A. and Brockmeyer, Monica and Mok, Aloysius K. and Jahanian, Farnam},
journal={IEEE Transactions on Software Engineering},
year={2001},
month={july},
volume={27},
number={7},
pages={599--617},
doi={10.1109/32.935853},
ISSN={0098-5589},
publisher ={IEEE Computer Sosciety}
}