00000nam##2200000#a#4500002843SLIM2120220411105300.0220411s 0000 00eng d9780262032704004.2Model checkingModel checkingClarke, Edmund M; grumberg, Orna; Peled, Doron1LondonThe MIT Press1999ix ; 314HBClarke, Edmund Mgrumberg, OrnaPeled, Doron011108011108RFPHNutan Maharashtra Institute of Engg. & TechnologyMBENGRM002843Y