BibTeX record conf/icse/BaerGGR81

download as .bib file

@inproceedings{DBLP:conf/icse/BaerGGR81,
  author    = {Jean{-}Loup Baer and
               Georges Gardarin and
               Claude Girault and
               G{\'{e}}rard Roucairol},
  title     = {The Two-Step Commitment Protocol: Modeling, Specification and Proof
               Methodology},
  booktitle = {{ICSE}},
  pages     = {363--373},
  publisher = {{IEEE} Computer Society},
  year      = {1981}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics