Gerard J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, 1991. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Network Event Recognition - Karthikeyan Bhargavan University (Correct)
Requirements for a Practical Network Event Recognition Language - Bhargavan, Gunter (Correct)
Verification of Business Process Models - Matousek (2003) (Correct)
Addressing Dynamic Issues of Program Model Checking - Lerda, Visser (7 citations) (Correct)
Automated Analysis of Fault-Tolerance in Distributed Systems - Stoller, Schneider (1997) (2 citations) (Correct)
Enterprise Architecture Analysis Using an Architecture.. - Sircar, Kott (2000) (Correct)
Parallel Program Verification Using BMC - Jussila, Niemelä (2002) (1 citation) (Correct)
Structure and Hierarchy in Real-Time Systems - Möller (2002) (Correct)
IOA: A Language for Specifying, Programming, and.. - Garland, Lynch, Vaziri (1997) (2 citations) (Correct)
Formal Verification of Time-Triggered Systems - Pike (2006) (Correct)
Abstractions for Fault-Tolerant Distributed System.. - Pike, Maddalon, Miner.. (2004) (Correct)
Timed Automata: Semantics, Algorithms and Tools - Bengtsson, Yi (Correct)
Abstractions for Fault-Tolerant Distributed System.. - Pike, Maddalon, Miner.. (2004) (Correct)
Security Protocol Verification Using SPIN - Jøsang (1995) (Correct)
Deriving Efficient Cache Coherence Protocols through.. - Nalumasu, Gopalakrishnan (1997) (1 citation) (Correct)
Partial Order Reduction without the Proviso - Nalumasu, Gopalakrishnan (1996) (Correct)
Efficient Computer-Aided Verification of Parallel and Distributed .. - Mäkelä (2003) (Correct)
Efficient Computer-Aided Verification of Parallel and Distributed .. - Mäkelä (2003) (Correct)
Partial Order Reduction without the Proviso - Nalumasu, Gopalakrishnan (1996) (Correct)
A Partial Order Reduction Algorithm without the Proviso - Nalumasu, Gopalakrishnan (1998) (Correct)
Cmc: A Model Checker For Network Protocol Implementations - Musuvathi (2004) (Correct)
A Reachability Analyser for Algebraic System Nets - Mäkelä (2001) (Correct)
Deriving Efficient Cache Coherence Protocols through.. - Nalumasu, Gopalakrishnan (1997) (1 citation) (Correct)
Automated Verification of an Audio Control Protocol.. - Bengtsson.. (2002) (Correct)
Network Event Recognition for Packet-Mode Surveillance - Bhargavan, Gunter (2002) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC