@BOOK{ Book!D - 72112733,
AUTHOR = "Hailpern, Brent Tzion",
TITLE = "Verifying concurrent processes using temporal logic",
LIBRARY= "كتابخانه مركزی دانشگاه صنعتی شریف",
SUBJECT = "، Parallel processing )Electronic computers(,، Computer programs-- Verification",
URL = "/book/72112733/Verifying-concurrent-processes-using-temporal-logi/"}