• DocumentCode
    11876
  • Title

    A New Approach to Checking Sequence Generation for Finite State Machines

  • Author

    Mladen A. Vouk استاد مشاور , Kuo-Chung Tai استاد راهنما , Purushotaman Iyer استاد مشاور

  • University
    Virginia Polytechnic Institute and state University
  • Grade
    نامعلوم
  • Major
    Master of Science )Computer Science(
  • Number of pages
    0
  • Publish Date
    2001
  • Note
    01
  • Language
    انگليسي