Model checking
Clarke Edmund M.  Grumberg Orna Peled Doron A.
1.vyd.
Cambridge : MIT Press, 1999 . - 314 s
ISBN 0-262-03270-8
navrhovanie počítačových systémov logické obvody spracovanie dát overovanie verifikácia
monografia