@inproceedings{DBLP:conf/pdpta/Koning00,
  author    = {Jean-Luc Koning},
  title     = {Compiling a Conversation Policy's Implementation from its
               Validated Specification Model},
  booktitle = {PDPTA},
  year      = {2000},
  crossref  = {DBLP:conf/pdpta/2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/pdpta/2000,
  editor    = {Hamid R. Arabnia},
  title     = {Proceedings of the International Conference on Parallel
               and Distributed Processing Techniques and Applications,
               PDPTA 2000, June 24-29, 2000, Las Vegas, Nevada, USA},
  booktitle = {PDPTA},
  publisher = {CSREA Press},
  year      = {2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}