DBLP Record 'conf/pdse/MillettT99'

BibTeX

@inproceedings{DBLP:conf/pdse/MillettT99,
  author    = {Lynette I. Millett and
               Tim Teitelbaum},
  title     = {Channel Dependence Analysis for Slicing Promela},
  booktitle = {PDSE},
  year      = {1999},
  pages     = {52-61},
  ee        = {http://computer.org/proceedings/pdse/0191/01910052abs.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}