DBLP Record 'conf/pts/PetrenkoUC98'

BibTeX

@inproceedings{DBLP:conf/pts/PetrenkoUC98,
  author    = {Alexandre Petrenko and
               Andreas Ulrich and
               V. Chapenko},
  title     = {Using Partial-Orders for Detecting Faults in Concurrent
               Systems},
  booktitle = {IWTCS},
  year      = {1998},
  pages     = {175-190},
  crossref  = {DBLP:conf/pts/1998},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/pts/1998,
  editor    = {Alexandre Petrenko and
               Nina Yevtushenko},
  title     = {Testing of Communicating Systems, IFIP TC6 11th International
               Workshop on Testing Communicating Systems (IWTCS), August
               31 - September 2, 1998, Tomsk, Russia},
  booktitle = {IWTCS},
  publisher = {Kluwer},
  series    = {IFIP Conference Proceedings},
  volume    = {131},
  year      = {1998},
  isbn      = {0-412-84430-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}