mjr-theses.bib

@comment{{This file has been generated by bib2bib 1.97}}

@comment{{Command line: bib2bib -ob mjr-theses.bib -oc mjr-theses.keys -c '(mjr:"yes") & (($type="MASTERSTHESIS") | ($type="PHDTHESIS"))' mjr.bib}}

@mastersthesis{texas-thesis,
  author = {Mark Reitblatt},
  title = {A System for the Formal Verification of LabVIEW/G Diagrams},
  type = {Senior Honors Thesis},
  school = {Department of Computer Science, University of Texas at Austin},
  address = {Austin, TX},
  month = jul,
  year = 2009,
  pdf = {/papers/texas-thesis.pdf},
  slides = { /papers/texas-thesis-slides.pdf },
  mjr = {yes}
}

This file was generated by bibtex2html 1.97.