BibTeX record conf/hipc/HwangBGT02

• > Home > conf/hipc/HwangBGT02

@inproceedings{DBLP:conf/hipc/HwangBGT02,
  author       = {Inseok Hwang and
                  Hamsa Balakrishnan and
                  Ronojoy Ghosh and
                  Claire J. Tomlin},
  editor       = {Sartaj Sahni and
                  Viktor K. Prasanna and
                  Uday Shukla},
  title        = {Reachability Analysis of Delta-NotchLateral Inhibition Using Predicate
                  Abstraction},
  booktitle    = {High Performance Computing - HiPC 2002, 9th International Conference,
                  Bangalore, India, December 18-21, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2552},
  pages        = {715--724},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36265-7\_69},
  doi          = {10.1007/3-540-36265-7\_69},
  timestamp    = {Wed, 21 Dec 2022 12:58:59 +0100},
  biburl       = {https://dblp.org/rec/conf/hipc/HwangBGT02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}