- Referenced in 2 articles
- protocol in terms of the number of eavesdropping nodes. The reliability and security requirements...
- Referenced in 442 articles
- PRISM: Probabilistic symbolic model checker. In this paper...
- Referenced in 161 articles
- Specification and verification of concurrent systems in CESAR...
- Referenced in 100 articles
- Fast LTL to Büchi automata translation. We present...