- Record: found
- Abstract: not found
- Book Chapter: not found
Foundations and Practice of Security
Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis
other
November 5 2002
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.