Holger Hermanns

2 books

Interactive Markov Chains: The Quest for Quantified Quality by Holger Hermanns

Interactive Markov Chains: The Quest for Quantified Quality

Lecture Notes in Computer Science

Holger Hermanns

217 pages • missing pub info (editions)

nonfiction computer science mathematics medium-paced
Validation of Stochastic Systems: A Guide to Current Research by Christel Baier
Validation of Stochastic Systems: A Guide to Current Research
—
Christel Baier

Validation of Stochastic Systems: A Guide to Current Research

Christel Baier

465 pages • first pub 2004 (editions)

More...