Uniform verification of safety for parameterized networks of hybrid automata (bibtex)

Reference:

Taylor T. Johnson, "Uniform verification of safety for parameterized networks of hybrid automata", PhD thesis, University of Illinois at Urbana-Champaign, 2013.

Bibtex Entry:

@phdthesis{johnson2013phdthesis,
  title = {Uniform verification of safety for parameterized networks of hybrid automata},
  author = {Taylor T. Johnson},
  year = {2013},
  school = {University of Illinois at Urbana-Champaign},
  publabel = {TH2},
  pubtype = {TH},
  dblp = {phd/us/Johnson13d},
  pdf = "research/johnson2013phdthesis.pdf",
}