@BOOK{ Book!D - 90090639,
AUTHOR = " edited by Jianping Wu, Samuel T. Chanson, Qiang Gao.",
TITLE = "Formal methods for protocol engineering and distributed systems :",
LIBRARY= "مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی",
SUBJECT = "Computer network protocols -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,Formal methods (Computer science) -- Congresses.",
URL = "/book/90090639/Formal-methods-for-protocol-engineering-and-distri/"}