![](https://assets.cambridge.org/97805214/60859/cover/9780521460859.jpg)
- Cited by 1
-
Cited byCrossref Citations
This Book has been cited by the following publications. This list is generated based on data provided by Crossref.
Yoshida, Nobuko and Hou, Ping 2024. The Practice of Formal Methods. Vol. 14781, Issue. , p. 268.
- Publisher:
- Cambridge University Press
- Online publication date:
- December 2009
- Print publication year:
- 1996
- Online ISBN:
- 9780511605611
- Subjects:
- Computer Science, Computing and Society