BibTeX records: GongJie Liu

download as .bib file

@inproceedings{DBLP:conf/atva/LiGLL05,
  author    = {Tun Li and
               Yang Guo and
               Sikun Li and
               GongJie Liu},
  title     = {Predicate Abstraction of {RTL} Verilog Descriptions Using Constraint
               Logic Programming},
  booktitle = {Automated Technology for Verification and Analysis, Third International
               Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  pages     = {174--186},
  year      = {2005},
  crossref  = {DBLP:conf/atva/2005},
  url       = {https://doi.org/10.1007/11562948\_15},
  doi       = {10.1007/11562948\_15},
  timestamp = {Wed, 02 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/LiGLL05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/LiGLL05,
  author    = {Tun Li and
               Yang Guo and
               GongJie Liu and
               Sikun Li},
  title     = {Functional Vectors Generation for RT-Level Verilog Descriptions Based
               on Path Enumeration and Constraint Logic Programming},
  booktitle = {Eighth Euromicro Symposium on Digital Systems Design {(DSD} 2005),
               30 August - 3 September 2005, Porto, Portugal},
  pages     = {17--25},
  year      = {2005},
  crossref  = {DBLP:conf/dsd/2005},
  url       = {https://doi.org/10.1109/DSD.2005.43},
  doi       = {10.1109/DSD.2005.43},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dsd/LiGLL05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/LiZGLL05,
  author    = {Tun Li and
               Dan Zhu and
               Yang Guo and
               GongJie Liu and
               Sikun Li},
  title     = {{MA2TG:} {A} Functional Test Program Generator for Microprocessor
               Verification},
  booktitle = {Eighth Euromicro Symposium on Digital Systems Design {(DSD} 2005),
               30 August - 3 September 2005, Porto, Portugal},
  pages     = {176--183},
  year      = {2005},
  crossref  = {DBLP:conf/dsd/2005},
  url       = {https://doi.org/10.1109/DSD.2005.54},
  doi       = {10.1109/DSD.2005.54},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dsd/LiZGLL05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2005,
  editor    = {Doron A. Peled and
               Yih{-}Kuen Tsay},
  title     = {Automated Technology for Verification and Analysis, Third International
               Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3707},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11562948},
  doi       = {10.1007/11562948},
  isbn      = {3-540-29209-8},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dsd/2005,
  title     = {Eighth Euromicro Symposium on Digital Systems Design {(DSD} 2005),
               30 August - 3 September 2005, Porto, Portugal},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/10433/proceeding},
  isbn      = {0-7695-2433-8},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dsd/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics