@phdthesis{780,
  author = {Jason Scott},
  title = {Efficient Verification of Multi-Processor Real-Time Systems Using Symbolic Methods},
  year = {2003},
  journal = {PhD Dissertation},
  month = {May},
  publisher = {Vanderbilt University},
  note = {Electrical Engineering},
  language = {eng},
}