- Record: found
- Abstract: not found
- Book Chapter: not found
Security Protocols : 7th International Workshop, Cambridge, UK, April 19-21, 1999. Proceedings
Shepherding Hordes of Markov Chains
other
April 03 2019
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references40
- Record: found
- Abstract: not found
- Book Chapter: not found
Z3: An Efficient SMT Solver
Leonardo de Moura, Nikolaj Bjørner (2008)
- Record: found
- Abstract: not found
- Book Chapter: not found
PRISM 4.0: Verification of Probabilistic Real-Time Systems
Marta Kwiatkowska, Gethin Norman, David Parker (2011)
Author and book information
Comments
Comment on this book
Book chapters
Similar content1,731
- Hordas feroces, víctimas y beligerantes. Colombia en la guerra de 1859-1862 o la guerra por la Soberanías Translated title: Fierce hordes, victims, and belligerents. Colombia in the 1859-1862 or the War for Sovereignties Translated title: Hordas ferozes, vítimas e beligerantes. A Colômbia na guerra de 1859-1862 ou a guerra pela soberanía Translated title: Des hordes féroces, victimes et belligérantes. La colombie dans la guerre de 1859-1862 ou la guerre pour les souverainetésAuthors: PATRICIA CARDONA ZULUAGA