BibTeX record conf/icse/ZaraketAK07

download as .bib file

@inproceedings{DBLP:conf/icse/ZaraketAK07,
  author       = {Fadi A. Zaraket and
                  Adnan Aziz and
                  Sarfraz Khurshid},
  title        = {Sequential Circuits for Relational Analysis},
  booktitle    = {29th International Conference on Software Engineering {(ICSE} 2007),
                  Minneapolis, MN, USA, May 20-26, 2007},
  pages        = {13--22},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ICSE.2007.75},
  doi          = {10.1109/ICSE.2007.75},
  timestamp    = {Sat, 30 Sep 2023 09:46:52 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/ZaraketAK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics