TY  - BOOK
AU  - Harel, David
AU  - Kozen , Dexter
AU  - Tiuryn, Jerzy
TI  - Dynamic logic
SN  - 8120331716
PY  - 2000///
CY  - New Delhi
PB  - Prentice Hall of India
KW  - Engineering, Logic
ER  -