BibTeX record phd/basesearch/Coogan15

download as .bib file

@phdthesis{DBLP:phd/basesearch/Coogan15,
  author       = {Samuel Coogan},
  title        = {Synthesis and Verification of Networked Systems with Applications
                  to Transportation Networks},
  school       = {University of California, Berkeley, {USA}},
  year         = {2015},
  url          = {http://www.escholarship.org/uc/item/7vm2r8sb},
  timestamp    = {Fri, 09 Apr 2021 20:34:30 +0200},
  biburl       = {https://dblp.org/rec/phd/basesearch/Coogan15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics