Boudol, G., de Simone, R. and Vergamini, D. "Experiment with Auto and Autograph on a Simple Case Sliding Window Protocol." INRIA Report 870, July 1988. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Computing Behavioural Relations, Logically - Cleaveland, Steffen (1991) (1 citation) (Correct)
Verification Tools from the CONCUR project - Madelaine (1992) (12 citations) (Correct)
The Concurrency Workbench: A Semantics Based Tool for.. - Cleaveland, Parrow.. (1994) (210 citations) (Correct)
Heterogeneous Analysis and Verification for Distributed.. - Steffen, Margaria, Claßen (1996) (1 citation) (Correct)
Module Configuration by Minimal Model Construction - Steffen, Margaria (1993) (Correct)
Module Configuration by Minimal Model Construction - Steffen, Margaria, Freitag (1993) (Correct)
An Algebraic Verification of a Mobile Network - Orava (1991) (27 citations) (Correct)
Heterogeneous Analysis and Verification for Distributed.. - Steffen, Margaria, Claßen (1995) (1 citation) (Correct)
The Concurrency Workbench: A Semantics Based Tool for the.. - Cleaveland, al. (1992) (210 citations) (Correct)
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