autore : Stuart
1
pubblicazione
Simulation-verification: biting at the state explosion problem (IEEE Transactions on Software Engineering, 2001) — Douglas A. Stuart, Monica Brockmeyer, Aloysius K. Mok, Farnam Jahanian Simulation-verification: biting at the state explosion problem (IEEE Transactions on Software Engineering, 2001) — Douglas A. Stuart, Monica Brockmeyer, Aloysius K. Mok, Farnam Jahanian