@BOOK{ Book!D - 89944761,
AUTHOR = " by Eric Y. T. Juan, Jeffrey J. P. Tsai.",
TITLE = "Compositional Verification of Concurrent and Real-Time Systems",
LIBRARY= "مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی",
SUBJECT = "Computer science.,Electronic data processing.,Mechanical engineering.,Software engineering.",
URL = "/book/89944761/Compositional-Verification-of-Concurrent-and-Real/"}