Searching for "On the use of MTBDDs for performability analysis and verification of stochastic systems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

On the use of MTBDDs for performability analysis and verification of stochastic systems
by Holger Hermanns, Marta Kwiatkowska, Gethin Norman, David Parker, Markus Siegle
…On the use of MTBDDs for performability analysis and verification of stochastic systems Holger…
Cited by 15 (7 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB