TY  - BOOK
AU  - Manna, Zohar
AU  - Peled, Doron A 
TI  - Time for verification: Essays in memory of Amir Pnueli
SN  - 9783642137532
CY  - New york
ER  -