Clarke, Edmund M. Grumberg, Orna. Peled. Doron A.,
Model Checking - Cambridge MIT Press 1999 - 314p
02 62 032708
Computer Systems - Verification
681.3 CLA
Model Checking - Cambridge MIT Press 1999 - 314p
02 62 032708
Computer Systems - Verification
681.3 CLA