CavalliMK92'

BibTeX

@inproceedings{DBLP:conf/pts/CavalliMK92,
  author    = {Ana R. Cavalli and
               Patrick Maigron and
               Sung Un Kim},
  title     = {Automated Protocol Conformance Test Generation Based on
               Formal Methods for LOTOS Specifications},
  booktitle = {Protocol Test Systems},
  year      = {1992},
  pages     = {237-248},
  crossref  = {DBLP:conf/pts/1992},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/pts/1992,
  editor    = {Gregor von Bochmann and
               Rachida Dssouli and
               Anindya Das},
  title     = {Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1
               Fifth International Workshop on Protocol Test Systems, Montreal,
               Quebec, Canada, 28-30 September, 1992},
  booktitle = {Protocol Test Systems},
  publisher = {North-Holland},
  series    = {IFIP Transactions},
  volume    = {C-11},
  year      = {1993},
  isbn      = {0-444-89980-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}