@inproceedings{DKGTLL05,
  author    = {David L. Dill and Merrill A. Knapp and Pamela Gage 
   and Carolyn Talcott and Keith Laderoute and Patrick Lincoln},
  title     = {The Pathalyzer: a Tool for Analysis of Signal Transduction Pathways},
  booktitle = {Systems Biology and Regulatory Genomics},
  series = {Lecture Notes in Computer Science},
  volume = {4023},
  year      = {2006},
  pages = {11--22},
}