BibTeX record conf/pstv/PetrenkoY92

download as .bib file

@inproceedings{DBLP:conf/pstv/PetrenkoY92,
  author    = {Alexandre Petrenko and
               Nina Yevtushenko},
  title     = {Test Suite Generation from a {FSM} with a Given Type of Implementation
               Errors},
  booktitle = {Protocol Specification, Testing and Verification XII, Proceedings
               of the {IFIP} {TC6/WG6.1} Twelth International Symposium on Protocol
               Specification, Testing and Verification, Lake Buena Vista, Florida,
               USA, 22-25 June 1992},
  pages     = {229--243},
  year      = {1992},
  crossref  = {DBLP:conf/pstv/1992},
  timestamp = {Thu, 03 Jan 2002 12:07:47 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pstv/PetrenkoY92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pstv/1992,
  editor    = {Richard J. Linn Jr. and
               M. {\"{U}}mit Uyar},
  title     = {Protocol Specification, Testing and Verification XII, Proceedings
               of the {IFIP} {TC6/WG6.1} Twelth International Symposium on Protocol
               Specification, Testing and Verification, Lake Buena Vista, Florida,
               USA, 22-25 June 1992},
  series    = {{IFIP} Transactions},
  volume    = {{C-8}},
  publisher = {North-Holland},
  year      = {1992},
  isbn      = {0-444-89874-3},
  timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pstv/1992},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier