@BOOK{ Book!D - 90120994,
AUTHOR = " Ryszard Janicki",
TITLE = "Specification and analysis of concurrent systems : ",
LIBRARY= "مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی",
SUBJECT = "",
URL = "/book/90120994/Specification-and-analysis-of-concurrent-systems/"}