VasudevanA04'

@inproceedings{DBLP:conf/ifip/VasudevanA04,
  author    = {Shobha Vasudevan and
               Jacob A. Abraham},
  title     = {Static program transformations for efficient software model
               checking},
  booktitle = {IFIP Congress Topical Sessions},
  year      = {2004},
  pages     = {257-282},
  crossref  = {DBLP:conf/ifip/2004bis},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ifip/2004bis,
  editor    = {Ren{\'e} Jacquart},
  title     = {Building the Information Society, IFIP 18th World Computer
               Congress, Topical Sessions, 22-27 August 2004, Toulouse,
               France},
  booktitle = {IFIP Congress Topical Sessions},
  publisher = {Kluwer},
  year      = {2004},
  isbn      = {1-4020-8156-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}