BradleyHKR95'

BibTeX

@inproceedings{DBLP:conf/pstv/BradleyHKR95,
  author    = {Steven Bradley and
               William Henderson and
               David Kendall and
               Adrian Robson},
  title     = {Validation, verification and implementation of timed protocols
               using AORTA},
  booktitle = {PSTV},
  year      = {1995},
  pages     = {205-220},
  crossref  = {DBLP:conf/pstv/1995},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/pstv/1995,
  editor    = {Piotr Dembinski and
               Marek Sredniawa},
  title     = {Protocol Specification, Testing and Verification XV, Proceedings
               of the Fifteenth IFIP WG6.1 International Symposium on Protocol
               Specification, Testing and Verification, Warsaw, Poland,
               June 1995},
  booktitle = {PSTV},
  publisher = {Chapman {\&} Hall},
  series    = {IFIP Conference Proceedings},
  volume    = {38},
  year      = {1996},
  isbn      = {0-412-71620-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}