L. Lamport. Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley, 2002. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
ANNALS OF MATHEMATICS, COMPUTING TELEINFORMATICS, VOL 1.. - Temporal Logic Richard (Correct)
No context found.
L. Lamport. Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley, 2002.
Dynamic aspects of retrenchments through - Temporal Logic Richard (Correct)
No context found.
L. Lamport. Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley, 2002.
Verifying Temporal Properties in HW-Hume - Grov, Ireland, Michaelson, al. (Correct)
No context found.
L. Lamport. Specifying Systems --- The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley, Reading, Massachusetts, 2002.
Replication Predicates for Dependent-Failure Algorithms - Flavio Junqueira And (Correct)
No context found.
L. Lamport. Specifying systems: The TLA+ language and tools for hardware and software engineers. Pearson Education, Inc., 2002.
Formal Security Analysis of Basic Network-Attached Storage - Chaudhuri, Abadi (2005) (Correct)
No context found.
L. Lamport. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2002.
Formal Security Analysis of Basic Network-Attached Storage - Chaudhuri, Abadi (Correct)
No context found.
L. Lamport. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2002.
Notes On The Design Of An Internet Adversary - David Rosenthal Petros (Correct)
No context found.
Leslie Lamport. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley, July 2002.
Formal Specification of Non-functional Properties of.. - Zschaler (Correct)
No context found.
Lamport, L.: Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley (2002)
Model-Driven Software Verification - Holzmann, Joshi (2004) (Correct)
No context found.
L. Lamport, Specifying Systems: the TLA+ language and tools for hardwareand softwareengineers,Addison-Wesley, 2002.
Notes on the Design of an Internet Adversary - Rosenthal, Maniatis.. (Correct)
No context found.
Leslie Lamport. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley, July 2002.
Foundations Of The B Method - Cansell, Méry (2003) (Correct)
No context found.
L. Lamport. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley, 2002.
Model-based Automated Analysis for Dependable Interactive Systems - Loer (2003) (1 citation) (Correct)
No context found.
Lamport, L. (2002). Specifying systems: The TLA+ language and tools for hardware and software engineers. Addison Wesley Professional.
Notes On The Design Of An Internet Adversary - David Rosenthal Petros (Correct)
No context found.
Leslie Lamport. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley, July 2002.
Information-Intensive Proof Technology - Constable (2003) (Correct)
No context found.
Leslie Lamport. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley, Boston, 2003.
Latency-optimal Uniform Atomic Broadcast algorithm - Zielinski (2004) (Correct)
No context found.
Leslie Lamport. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley Professional, 2002.
Latency-optimal Uniform Atomic Broadcast algorithm - Zielinski (Correct)
No context found.
Leslie Lamport. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley Professional, 2002.
Composing Invariants - Charpentier (Correct)
No context found.
Leslie Lamport. Specifying Systems: The TLA Language and Tools for Hardware and Software Engineers. Addison-Wesley, July 2002.
Composing Invariants - Charpentier (2003) (Correct)
No context found.
Leslie Lamport. Specifying Systems: The TLA Language and Tools for Hardware and Software Engineers. Addison-Wesley, July 2002.
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