@BOOK{ Book!D - 101373196,
AUTHOR = "Brent T. Hailpern",
TITLE = "Verifying concurrent processes using temporal logic",
LIBRARY= "کتابخانه پژوهشگاه دانشهای بنیادی",
SUBJECT = "، Parallel processing )Electronic computers(,، Computer programs -- Verification",
URL = "/book/101373196/Verifying-concurrent-processes-using-temporal-logi/"}