TY  - GEN
AU  - Harel, David
AU  - Kozen, Dexter
AU  - Tiuryn, Jerzy
TI  - Dynamic logic
SN  - 9788120331716
U1  - 004.0151 
PY  - 2007///
CY  - New Delhi
PB  - Prentice-Hall of India
N1  - Includes index
ER  -