Holzmann G.J.: Design and Validation of Computer Protocols. Prentice-Hall, 1991. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Outline for an Operational-Semantics Definition of PROMELA - Natarajan, Holzmann (1996) (3 citations) Self-citation (Holzmann) (Correct)
No context found.
G.J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, 1991.
Debugging UML Designs with Model Checking - Gallardo, Merino, Pimentel (2002) (2 citations) (Correct)
No context found.
Holzmann G.J.: Design and Validation of Computer Protocols. Prentice-Hall, 1991.
I/O Efficient Directed Model Checking - Shahid Jabbar And (Correct)
No context found.
G. J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, 1990.
Int J STTT (1999) 2: 279--287 1999 Springer-Verlag State.. - Clarke Grumberg Minea (Correct)
No context found.
Holzmann, J.: Design and Validation of Computer Protocols. Prentice Hall, 1991
KISS: Keep It Simple and Sequential - Shaz Qadeer Microsoft (Correct)
No context found.
G. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall, 1991.
JNuke: Efficient Dynamic Analysis for Java - Artho, Schuppan, Biere.. (2004) (Correct)
No context found.
G. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall, 1991.
Int J STTT (1999) 2: 279--287 1999 Springer-Verlag State.. - Clarke Grumberg Minea (Correct)
No context found.
Holzmann, J.: Design and Validation of Computer Protocols. Prentice Hall, 1991
Informatica 29 (2005) 219--226 219 - System Resource Utilization (Correct)
No context found.
G. J. Holzmann, Design and Validation of Computer Protocols, Prentice Hall, 1991.
A Validation Method Adapted to Dynamic Service Composition - Floch, Bræk (2002) (Correct)
No context found.
Holzmann, G.J. 1991. Design and Validation of Computer Protocols. Prentice Hall.
Towards PaP Services: Design and Validation Issues - Floch, Bræk (2002) (Correct)
No context found.
Holzmann, G.J. 1991. Design and Validation of Computer Protocols.PrenticeHall.
Designing a LTL Model-Checker based on Unfolding Graphs - Couvreur, Grivet, Poitrenaud (2000) (Correct)
No context found.
G. J. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall, Englewood Cliffs, New Jersey, 1991.
A Model Checking Decision Procedure for Sequential.. - Haddad, Poitrenaud (2000) (Correct)
No context found.
G. J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, November 1990.
Formal Verification of Communication Protocol Using Type.. - Zhang, Xie, Munro, al. (2003) (Correct)
No context found.
G. J. Holzmann, Design and Validation of Computer Protocols. Prentice Hall, 1990.
A Conversation-oriented language for B2B integration based.. - Gomez, Haller, al. (2005) (Correct)
No context found.
G. Holzmann. Design and validation of computer protocols. Prentice-Hall, London, 1990.
Partial-Order Reduction and Trail Improvement in.. - Edelkamp.. (2004) (2 citations) (Correct)
No context found.
Holzmann GJ (1990) Design and validation of computer protocols. Prentice-Hall, Englewood Cli#s, NJ
Directed Explicit-State Model Checking in the.. - Edelkamp, Leue.. (2002) (3 citations) (Correct)
No context found.
G. J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, 1990.
Directed Explicit-State Model Checking in the.. - Edelkamp, Leue.. (2004) (3 citations) (Correct)
No context found.
Holzmann, G.J.: Design and Validation of Computer Protocols. Prentice Hall, 1990
Partial Order Reductions Preserving - Simulations Rob Gerth (Correct)
No context found.
G.J. Holzmann, Design and Validation of Computer Protocols, Prentice Hall, 1992.
Partial Order Reductions Preserving Simulations - Wojciech Penczek Ics (1999) (Correct)
No context found.
G.J. Holzmann, Design and Validation of Computer Protocols, Prentice Hall, 1992.
Compositional Analysis of Mobile Network Protocols - Wu, Zhang (2005) (Correct)
No context found.
Holzmann, G. J., "Design and Validation of Computer Protocols," Prentice Hall, 1991.
Software Verification Research Centre - School Of Information (1995) (4 citations) (Correct)
No context found.
G.J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, 1991.
A Partial Order Approach to Branching Time Logic Model.. - Gerth, Kuiper, Peled.. (1997) (18 citations) (Correct)
No context found.
G.J. Holzmann, Design and Validation of Computer Protocols, Prentice Hall, 1992.
Analyse Algorithmique de Systèmes Hybrides Polygonaux - Schneider (2002) (Correct)
No context found.
G.J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, 1991.
Notations for the Specification and Verification of.. - Woodman Palmer.. (2004) (1 citation) (Correct)
No context found.
G. J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, 2002.
Specification and verification of selected intrusion.. - Creese, (eds.) (2003) (1 citation) (Correct)
No context found.
G.J. Holzmann. Design and validation of computer protocols. Prentice Hall, 1991.
Automated Verification of Model-based Programs Under Uncertainty - Mahtab (2004) (Correct)
No context found.
G. J. Holzmann. The Design and Validation of Computer Protocols. Prentice Hall, 1991.
Directed Search for the Verification of Communication Protocols - Lafuente (2003) (Correct)
No context found.
G. J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, 1990.
Questions and Answers about Ten Formal Methods - Hartel, Butler, Currie.. (1999) (5 citations) (Correct)
No context found.
G. J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, Englewood Cliffs, New Jersey, 1991.
Verifying a Sliding Window Protocol in μCRL - Fokkink, Groote, Pang, Badban, .. (2004) (Correct)
No context found.
G.J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, 1991. 15
Formal System Development Using Method Integration: a Case Study - Aredo, Owe (2004) (Correct)
No context found.
G. J. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall, 1991.
Transacted Memory for Smart Card - Hartel, Butler, de Jong, Longley (2000) (1 citation) (Correct)
No context found.
G. J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, Englewood Cli s, New Jersey, 1991.
Phoenix : a Parallel Programming Model for.. - Taura, Kaneda, Endo.. (2003) (Correct)
No context found.
G. J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, 1991.
Declarative Languages in Education - Glaser, Hartel, Leuschel, Martin (2000) (Correct)
No context found.
G. J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, Englewood Cli s, New Jersey, 1991.
Modelling a Java Ring based implementation of the N-Count.. - Revill, Hartel (1999) (1 citation) (Correct)
No context found.
G. J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, Englewood Cliffs, New Jersey, 1991.
JNuke: Efficient Dynamic Analysis for Java - Artho, Schuppan, Biere.. (2004) (Correct)
No context found.
G. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall, 1991.
Memory Efficient State Storage in SPIN - Visser, Barringer (1995) (6 citations) (Correct)
No context found.
G.J. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall, Englewood Cliffs, New Jersey, 1991.
Promela Planning - Edelkamp (2003) (2 citations) (Correct)
No context found.
G. J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, 1990.
Questions and Answers about Ten Formal Methods - Hartel, Butler, Currie.. (1999) (5 citations) (Correct)
No context found.
G. J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, Englewood Cliffs, New Jersey, 1991.
Nested Emptiness Search for Generalized Büchi Automata - Tauriainen (2003) (Correct)
No context found.
G. J. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall, 1991.
A Formal Specification and Verification of a.. - Gnesi, Latella.. (2000) (Correct)
No context found.
G. J. Holzmann. Design and Validation of Computer Protocols. Prentise Hall, 1991.
Enhancing Partial-Order Reduction via Process Clustering - Twan Basten Dept (2001) (Correct)
No context found.
G.J. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall, 1991.
TRP ++ : A temporal resolution prover - Hustadt, Konev (Correct)
No context found.
G. J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, 1991.
Verifying a Sliding Window Protocol in μCRL - Fokkink, Groote, Pang, Badban, .. (2003) (Correct)
No context found.
G.J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, 1991.
Translation from Adapted UML to Promela for Corba-Based.. - Chen, Cui (2004) (Correct)
No context found.
G. Holzmann. The Design and Validation of Computer Protocols. Prentice Hall, 1991.
Directed Error Detection in C++ with the Assembly-Level.. - Leven, Mehler, Edelkamp (2004) (Correct)
No context found.
G. J. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall, Englewood Cliffs, New Jersey, 1991.
Implications of Traffic Characteristics on Interdomain Traffic.. - Uhlig (2004) (Correct)
No context found.
G. Holzmann. Design and validation of computer protocols. Prentice-Hall, 1991.
Verification of the WAP Transaction Layer - Using The Model (Correct)
No context found.
G. J. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall, 1991.
Web Service Composition - Current Solutions and Open Problems - Srivastava, Koehler (2003) (3 citations) (Correct)
No context found.
Holzmann, G. 1991. Design and Validation of Computer Protocols. Prentice Hall, New Jersey.
Software Model Checking: The VeriSoft Approach - Patrice Godefroid Bell (2003) (2 citations) (Correct)
No context found.
G. J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, 1991.
On Translating Linear Temporal Logic into Alternating and.. - Tauriainen (2003) (3 citations) (Correct)
No context found.
G. J. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall, 1991.
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