Model Checking
Clarke M edmund,Grumberg Orna, Pale A Doron
Model Checking - London The MIT Press 1999 - 314
9780262032704
004.21 / CLA
Model Checking - London The MIT Press 1999 - 314
9780262032704
004.21 / CLA
Central Library
Central University of Tamil Nadu
Neelakudi Campus, Via - Kangalancherry, Thiruvarur - 610 005
Phone: +91-9789892178, Email : librarian@cutn.ac.in
Central University of Tamil Nadu
Neelakudi Campus, Via - Kangalancherry, Thiruvarur - 610 005
Phone: +91-9789892178, Email : librarian@cutn.ac.in