BibTeX records: Jang Dae Kim

download as .bib file

@inproceedings{DBLP:conf/fmcad/ChinK98,
  author    = {Shiu{-}Kai Chin and
               Jang Dae Kim},
  title     = {An Instruction Set Process Calculus},
  booktitle = {Formal Methods in Computer-Aided Design, Second International Conference,
               {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  pages     = {451--468},
  year      = {1998},
  crossref  = {DBLP:conf/fmcad/1998},
  url       = {https://doi.org/10.1007/3-540-49519-3\_29},
  doi       = {10.1007/3-540-49519-3\_29},
  timestamp = {Tue, 23 May 2017 14:54:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/ChinK98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/LuKC96,
  author    = {Juin{-}Yeu Joseph Lu and
               Jang Dae Kim and
               Shiu{-}Kai Chin},
  title     = {Hardware Composition with Hardware Flowcharts and Process Algebras},
  booktitle = {2nd {IEEE} International Conference on Engineering of Complex Computer
               Systems {(ICECCS} '96), 21-25 October 1996, Montreal, Canada},
  pages     = {352},
  year      = {1996},
  crossref  = {DBLP:conf/iceccs/1996},
  url       = {https://doi.org/10.1109/ICECCS.1996.558449},
  doi       = {10.1109/ICECCS.1996.558449},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iceccs/LuKC96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/ChavanCIKZ95,
  author    = {Anand Chavan and
               Shiu{-}Kai Chin and
               Shahid Ikram and
               Jang Dae Kim and
               Juin{-}Yeu Zu},
  title     = {Extending {VLSI} design with higher-order logic},
  booktitle = {1995 International Conference on Computer Design {(ICCD} '95), {VLSI}
               in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings},
  pages     = {85--94},
  year      = {1995},
  crossref  = {DBLP:conf/iccd/1995},
  url       = {https://doi.org/10.1109/ICCD.1995.528795},
  doi       = {10.1109/ICCD.1995.528795},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccd/ChavanCIKZ95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/KimC95,
  author    = {Jang Dae Kim and
               Shiu{-}Kai Chin},
  title     = {Formal Verification of Serial Pipeline Multipliers},
  booktitle = {Higher Order Logic Theorem Proving and Its Applications, 8th International
               Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings},
  pages     = {229--244},
  year      = {1995},
  crossref  = {DBLP:conf/tphol/1995},
  url       = {https://doi.org/10.1007/3-540-60275-5\_68},
  doi       = {10.1007/3-540-60275-5\_68},
  timestamp = {Sat, 20 May 2017 15:32:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tphol/KimC95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/1998,
  editor    = {Ganesh Gopalakrishnan and
               Phillip J. Windley},
  title     = {Formal Methods in Computer-Aided Design, Second International Conference,
               {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1522},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/3-540-49519-3},
  doi       = {10.1007/3-540-49519-3},
  isbn      = {3-540-65191-8},
  timestamp = {Tue, 23 May 2017 14:54:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iceccs/1996,
  title     = {2nd {IEEE} International Conference on Engineering of Complex Computer
               Systems {(ICECCS} '96), 21-25 October 1996, Montreal, Canada},
  publisher = {{IEEE} Computer Society},
  year      = {1996},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4123},
  isbn      = {0-8186-7614-0},
  timestamp = {Thu, 23 Apr 2015 17:57:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iceccs/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccd/1995,
  title     = {1995 International Conference on Computer Design {(ICCD} '95), {VLSI}
               in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {1995},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4053},
  isbn      = {0-8186-7165-3},
  timestamp = {Mon, 22 Sep 2014 16:50:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccd/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tphol/1995,
  editor    = {E. Thomas Schubert and
               Phillip J. Windley and
               Jim Alves{-}Foss},
  title     = {Higher Order Logic Theorem Proving and Its Applications, 8th International
               Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {971},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/3-540-60275-5},
  doi       = {10.1007/3-540-60275-5},
  isbn      = {3-540-60275-5},
  timestamp = {Sat, 20 May 2017 15:32:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tphol/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier