Document Preview
  • Full Text
  • Dissertation or Thesis

Partial order reduction for verification of timed systems

. 
 Carnegie Mellon University ProQuest Dissertations & Theses,  1999. 9964604.