search author

DBLP BibTeX Record 'conf/iccad/MoonKSS99'

@inproceedings{DBLP:conf/iccad/MoonKSS99,
  author    = {In-Ho Moon and
               James H. Kukula and
               Thomas R. Shiple and
               Fabio Somenzi},
  title     = {Least fixpoint approximations for reachability analysis},
  booktitle = {ICCAD},
  year      = {1999},
  pages     = {41-44},
  ee        = {http://portal.acm.org/citation.cfm?id=339492.339565},
  crossref  = {DBLP:conf/iccad/1999},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/iccad/1999,
  editor    = {Jacob K. White and
               Ellen Sentovich},
  title     = {Proceedings of the 1999 IEEE/ACM International Conference
               on Computer-Aided Design, 1999, San Jose, California, USA,
               November 7-11, 1999},
  booktitle = {ICCAD},
  publisher = {IEEE},
  year      = {1999},
  isbn      = {0-7803-5832-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}