@phdthesis{678,
  author = {Abhishek Dubey},
  title = {Metamodel Based Language and Computation Platform for Algorithmic Analysis of Hybrid Systems},
  year = {2005},
  journal = {Master's Thesis},
  month = {July},
  publisher = {Vanderbilt University},
  language = {eng},
}