Back to Results
First PageMeta Content
Model checkers / Model checking / Abstraction / Mathematical proof / Economic model / Verification / Theoretical computer science / Formal methods / Cognitive science / Computing / PRISM model checker / Construction and Analysis of Distributed Processes


Automated Quantitative Software Verification by Mark Kattenbelt A thesis submitted for the degree of
Add to Reading List

Document Date: 2011-03-15 10:13:22

Open Document

File Size: 1,94 MB

Share Result on Facebook