Opening book details…
About this scholarly article
Computer Aided Verification Volume 1427 by Hu, Alan J.; Vardi, Moshe Y. is a scholarly article available to read on EtoBox.
- Author
- Hu, Alan J.; Vardi, Moshe Y.
- Publisher
- Springer Berlin Heidelberg
- Published
- 1998
- Language
- EN