TY  - BOOK
A1  - Hailpern, Brent Tzion
TI  - Verifying concurrent processes using temporal logic
PB  - كتابخانه مركزی دانشگاه صنعتی شریف
SN  - 72112733
UR  /book/72112733/Verifying-concurrent-processes-using-temporal-logi/
ER  -