JardJTV99'

BibTeX

@inproceedings{DBLP:conf/forte/JardJTV99,
  author    = {Claude Jard and
               Thierry J{\'e}ron and
               L{\'e}naick Tanguy and
               C{\'e}sar Viho},
  title     = {Remote testin can be as powerful as local testing},
  booktitle = {FORTE},
  year      = {1999},
  pages     = {25-40},
  crossref  = {DBLP:conf/forte/1999},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/forte/1999,
  editor    = {Jianping Wu and
               Samuel T. Chanson and
               Qiang Gao},
  title     = {Formal Methods for Protocol Engineering and Distributed
               Systems, FORTE XII / PSTV XIX'99, IFIP TC6 WG6.1 Joint International
               Conference on Formal Description Techniques for Distributed
               Systems and Communication Protocols (FORTE XII) and Protocol
               Specification, Testing and Verification (PSTV XIX), October
               5-8, 1999, Beijing, China},
  booktitle = {FORTE},
  publisher = {Kluwer},
  series    = {IFIP Conference Proceedings},
  volume    = {156},
  year      = {1999},
  isbn      = {0-7923-8646-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}