PetrenkoYH03'

BibTeX

@inproceedings{DBLP:conf/pts/PetrenkoYH03,
  author    = {Alexandre Petrenko and
               Nina Yevtushenko and
               Jiale Huo},
  title     = {Testing Transition Systems with Input and Output Testers},
  booktitle = {TestCom},
  year      = {2003},
  pages     = {129-145},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2644{\&}spage=129},
  crossref  = {DBLP:conf/pts/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/pts/2003,
  editor    = {Dieter Hogrefe and
               Anthony Wiles},
  title     = {Testing of Communicating Systems, 15th IFIP International
               Conference, TestCom 2003, Sophia Antipolis, France, May
               26-28, 2003, Proceedings},
  booktitle = {TestCom},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2644},
  year      = {2003},
  isbn      = {3-540-40123-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}