Model Checking (Cyber Physical Systems Series)
Full Title: | Model Checking (Cyber Physical Systems Series) |
---|---|
ISBN: | 0262032708 |
ISBN13: | 9780262032704 |
List Price: | USD $75.00 |
Authors: |
Edmund M. Clarke Jr. Orna Grumberg Doron A. Peled |