@phdthesis{TJohnsonPhD13,
  author       = {Taylor T. Johnson},
  title        = {Uniform verification of safety for parameterized networks of hybrid
                  automata},
  school       = {University of Illinois Urbana-Champaign, {USA}},
  year         = {2013},
  url          = {https://hdl.handle.net/2142/46679},
  timestamp    = {Mon, 08 Jan 2024 17:53:35 +0100},
  biburl       = {https://dblp.org/rec/phd/us/Johnson13d.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}