BibTeX record conf/IEEEisic/RileyKR07

download as .bib file

@inproceedings{DBLP:conf/IEEEisic/RileyKR07,
  author       = {Derek Riley and
                  Xenofon D. Koutsoukos and
                  Kasandra Riley},
  title        = {Verification of Biochemical Processes Using Stochastic Hybrid Systems},
  booktitle    = {22nd {IEEE} International Symposium on Intelligent Control, {ISIC}
                  2007, Singapore, October 1-3, 2007},
  pages        = {100--105},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1109/ISIC.2007.4450868},
  doi          = {10.1109/ISIC.2007.4450868},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/IEEEisic/RileyKR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}