BibTeX record journals/cai/RahimRT04

download as .bib file

@article{DBLP:journals/cai/RahimRT04,
  author    = {Solaiman Rahim and
               Bruno Rouzeyre and
               Lionel Torres},
  title     = {A Flip-Flop Matching Engine to Verify Sequential Optimizations},
  journal   = {Comput. Artif. Intell.},
  volume    = {23},
  number    = {5},
  pages     = {437--460},
  year      = {2004},
  url       = {http://www.sav.sk/index.php?lang=en\&charset=ascii\&doc=journal\&part=list\_articles\&journal\_issue\_no=1509\#abstract\_2722},
  timestamp = {Sun, 17 May 2020 11:43:52 +0200},
  biburl    = {https://dblp.org/rec/journals/cai/RahimRT04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics