2 search results - page 1 / 1 » SAT-Based Model-Checking of Security Protocols Using Plannin... |
62
Voted
FM
2003
Springer
15 years 2 months ago
2003
Springer
100
Voted
IFM
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...