@InProceedings{Conway2005aIncremental,
  author =	 {Christopher L. Conway and Kedar S. Namjoshi and
                  Dennis Dams and Stephen A. Edwards},
  title =	 {Incremental Algorithms for Inter-procedural Analysis
                  of Safety Properties},
  booktitle =	 "Computer Aided Verification (CAV)",
  pages =	 {449-461},
  year =	 2005,
  volume =	 3576,
  series =	 {Lecture Notes in Computer Science},
  month =	 jul,
  address =	 {Edinburgh, Scotland},
  doi =		 {http://dx.doi.org/10.1007/11513988_45},
}

@TechReport{Conway2005bIncremental,
  author =	 {Christopher L. Conway and Kedar S. Namjoshi and
                  Dennis Dams and Stephen A. Edwards},
  title =	 {Incremental Algorithms for Inter-procedural Analysis
                  of Safety Properties},
  institution =	 {Columbia University},
  year =	 2005,
  number =	 {CUCS-018-05},
  address =	 {New York, NY}
}