Abstraction Discovery and Refinement for Model Checking by Symbolic Trajectory Evaluation
- ISBN 10 : OCLC:892868289
- Judul : Abstraction Discovery and Refinement for Model Checking by Symbolic Trajectory Evaluation
- Pengarang : Sara Elisabeth Adams,
- Bahasa : en
- Tahun : 2014
- Halaman : 0
- Google Book : http://books.google.co.id/books?id=ycsKogEACAAJ&dq=intitle:Model+discovery&hl=&source=gbs_api
-
Ketersediaan :