BibTeX record conf/memocode/KalyanasundaramS04

download as .bib file

@inproceedings{DBLP:conf/memocode/KalyanasundaramS04,
  author    = {Krishnamani Kalyanasundaram and
               R. K. Shyamasundar},
  title     = {Formal verification of pipelined processors with precise exceptions},
  booktitle = {2nd {ACM} {\&} {IEEE} International Conference on Formal Methods
               and Models for Co-Design {(MEMOCODE} 2004), 23-25 June 2004, San Diego,
               California, USA, Proceedings},
  pages     = {129--139},
  year      = {2004},
  crossref  = {DBLP:conf/memocode/2004},
  url       = {https://doi.org/10.1109/MEMCOD.2004.1459832},
  doi       = {10.1109/MEMCOD.2004.1459832},
  timestamp = {Tue, 23 May 2017 01:06:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/memocode/KalyanasundaramS04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/memocode/2004,
  title     = {2nd {ACM} {\&} {IEEE} International Conference on Formal Methods
               and Models for Co-Design {(MEMOCODE} 2004), 23-25 June 2004, San Diego,
               California, USA, Proceedings},
  publisher = {{IEEE}},
  year      = {2004},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9882},
  isbn      = {0-7803-8509-8},
  timestamp = {Thu, 06 Nov 2014 17:05:38 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/memocode/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier