LiuSD08'

BibTeX

@inproceedings{DBLP:conf/icse/LiuSD08,
  author    = {Yang Liu 0003 and
               Jun Sun 0001 and
               Jin Song Dong},
  title     = {An analyzer for extended compositional process algebras},
  booktitle = {ICSE Companion},
  year      = {2008},
  pages     = {919-920},
  ee        = {http://doi.acm.org/10.1145/1370175.1370187},
  crossref  = {DBLP:conf/icse/2008c},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/icse/2008c,
  editor    = {Wilhelm Sch{\"a}fer and
               Matthew B. Dwyer and
               Volker Gruhn},
  title     = {30th International Conference on Software Engineering (ICSE
               2008), Leipzig, Germany, May 10-18, 2008, Companion Volume},
  booktitle = {ICSE Companion},
  publisher = {ACM},
  year      = {2008},
  isbn      = {978-1-60558-079-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}