@BOOK{ Book!D - 89965235,
AUTHOR = " Marco Montali",
TITLE = "Specification and verification of declarative open interaction models :",
LIBRARY= "مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی",
SUBJECT = "Computational intelligence,Computer logic,Declarative programming languages,Information technology,Management information systems,Business",
URL = "/book/89965235/Specification-and-verification-of-declarative-open/"}