Normal view MARC view
  • Principles of model checking

Principles of model checking (Topical Term)

Number of records used in: 1
Preferred form: Principles of model checking

Machine generated authority record.

Work cat.: (IN-BhIIT)6536: Baier, Christel 13391, Principles of Model Checking / , 2008.

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