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