@inproceedings{conf/dac/ArfaeeILFK09,
  added-at = {2009-10-23T00:00:00.000+0200},
  author = {Arfaee, Arash and Irturk, Ali and Laptev, Nikolay and Fallah, Farzan and Kastner, Ryan},
  biburl = {http://www.bibsonomy.org/bibtex/26253b74cabb8c294276aa7bbf708302d/dblp},
  booktitle = {DAC},
  crossref = {conf/dac/2009},
  ee = {http://doi.acm.org/10.1145/1629911.1629980},
  interhash = {801bba10e7d141e045c8aed53624ef76},
  intrahash = {6253b74cabb8c294276aa7bbf708302d},
  isbn = {978-1-60558-497-3},
  keywords = {dblp},
  pages = {254-257},
  publisher = {ACM},
  timestamp = {2009-10-23T00:00:00.000+0200},
  title = {Xquasher: a tool for efficient computation of multiple linear expressions.},
  url = {http://dblp.uni-trier.de/db/conf/dac/dac2009.html#ArfaeeILFK09},
  year = 2009
}