TY  - BOOK
AU  - Harel, David
AU  - Tiuryn, Jerzy
AU  - Kozen, Dexter
TI  - Dynamic Logic
SN  - 9788120331716
U1  - 004.015113 
PY  - 2007///
CY  - New Delhi
PB  - Prentice-Hall of India Pvt. Ltd.
KW  - Computer Engineering
ER  -