DMCA

Advisor: Prof. Orna Grumberg. Thesis title: A Game-Based Framework for CTL Counterexamples and Abstraction-Refinement. (2012)

Cached

Download Links

by Sharon Shoham Buchbinder , Name Sharon , Shoham Buchbinder , Graduated Cum Laude