Normal view MARC view
  • Model Checking

Model Checking (Topical Term)

Number of records used in: 1
Preferred form: Model Checking

Machine generated authority record.

Work cat.: (IN-BhIIT)6460: Clarke, E. M. 7243, Model Checking / , 1999.

Central Library, Indian Institute of Technology Bhubaneswar, 4th Floor, Administrative Building, Argul, Khordha, PIN-752050, Odisha, India
Phone: +91-674-7138750 | Email: circulation.library@iitbbs.ac.in (For circulation related queries),
Email: info.library@iitbbs.ac.in (For other queries)

Powered by Koha