Symbolic Model Checking
Full Title: | Symbolic Model Checking |
---|---|
ISBN: | 0792393805 |
ISBN13: | 9780792393801 |
List Price: | USD $139.50 |
Authors: |
McMillan, Kenneth L. |
Full Title: | Symbolic Model Checking |
---|---|
ISBN: | 0792393805 |
ISBN13: | 9780792393801 |
List Price: | USD $139.50 |
Authors: |
McMillan, Kenneth L. |