@inproceedings{Ruess96:CAV,
  TITLE     = {Modular {V}erification of {S}{R}{T} Division},
  AUTHOR    = {H. Rue{\ss} and N. Shankar and M. K. Srivas},
  BOOKTITLE = {Computer-Aided Verification, CAV '96},
  EDITOR    = {Rajeev Alur and Thomas A. Henzinger},
  PAGES     = {123--134},
  PUBLISHER = {Springer-Verlag},
  SERIES    = {Lecture Notes in Computer Science},
  VOLUME    = 1102,
  MONTH     = {July/August},
  YEAR      = 1996,
  ADDRESS   = {New Brunswick, NJ}
}