@inproceedings{DBLP:conf/memocode/JoseGOS11,
  author    = {Bijoy A. Jose and
               Abdoulaye Gamati{\'e} and
               Julien Ouy and
               Sandeep K. Shukla},
  title     = {SMT based false causal loop detection during code synthesis
               from Polychronous specifications},
  booktitle = {MEMOCODE},
  year      = {2011},
  pages     = {109-118},
  ee        = {http://dx.doi.org/10.1109/MEMCOD.2011.5970517},
  crossref  = {DBLP:conf/memocode/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/memocode/2011,
  editor    = {Satnam Singh and
               Barbara Jobstmann and
               Michael Kishinevsky and
               Jens Brandt},
  title     = {9th IEEE/ACM International Conference on Formal Methods
               and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13
               July, 2011},
  booktitle = {MEMOCODE},
  publisher = {IEEE},
  year      = {2011},
  isbn      = {978-1-4577-0117-7},
  ee        = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5959846},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}