CiteSeer.IST Home  Similar documents based on text:  Composition: A Way to Make Proofs Harder - Lamport (1997)   (Correct)

Similar documents based on text:   All related documents
1.0:   Composition: A Way to Make Proofs Harder - Lamport (1997)   (Correct)
0.2:   Deductive Modelchecking - Sipma (1999)   (Correct)
0.2:   Multi-Agent - Van Eck   (Correct)
0.2:   A ProCoS II Project Final Report: ESPRIT Basic.. - Bowen, Hoare.. (1996)   (Correct)
0.2:   Towards a Practitioners' Approach to Abadi and Lamport's.. - Engelhardt, de Roever (1997)   (Correct)
0.2:   Formal Methods and the Development of Dependable Systems - Peleska (1996)   (Correct)
0.1:   Compositionality in Dataflow Synchronous Languages.. - Benveniste, Le.. (1997)   (Correct)
0.1:   Generalizing Abadi & Lamport's Method to Solve a Problem.. - Engelhardt, de Roever (1993)   (Correct)
0.1:   Verification and Specification of Concurrent Programs - Lamport (1993)   (Correct)
0.1:   Compiler Correctness and Implementation.. - Goerigk, Dold.. (1996)   (Correct)

CiteSeer.IST - Copyright Penn State and NEC