@InProceedings{MA03PVS,
  Title                    = {Developing Strategies for Specialized Theorem Proving about Untimes, Timed, and Hybrid {I/O} Automata},
  Author                   = {Sayan Mitra and Myla Archer},
  Booktitle                = {STRATA 2003},
  Year                     = {2003},

  Address                  = {Rome, Italy},

  Biburl                   = {http://users.crhc.illinois.edu/mitras/research.html},
  Keywords                 = {Automated deduction},
  Optmonth                 = {September},
  Pdfurl                   = {research/2003/strata.pdf},
  Psurl                    = {research/2003/strata.ps}
}