On the use of MTBDDs for performability analysis and...

The Journal of Logic and Algebraic Programming 2003 Vol. 56; Iss. 1-2

On the use of MTBDDs for performability analysis and verification of stochastic systems

Holger Hermanns, Marta Kwiatkowska, Gethin Norman, David Parker, Markus Siegle
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
56
Year:
2003
Language:
english
Pages:
45
DOI:
10.1016/s1567-8326(02)00066-8
File:
PDF, 755 KB
english, 2003
Conversion to is in progress
Conversion to is failed