Back to Results
First PageMeta Content
Mathematical analysis / Temporal logic / Generalized functions / Mathematics / Distribution / Functional analysis / Computation tree logic


QAPLGame-Based Probabilistic Predicate Abstraction in PRISM 1
Add to Reading List

Document Date: 2008-05-04 08:03:42

Open Document

File Size: 316,06 KB

Share Result on Facebook