@BOOK{ Book!D - 93582099,
AUTHOR = "/ Jules Charles Meyer-Mehdi Dastani, Koen V. Hindriks, John",
TITLE = "agent Systems-Specification and Verification of Multi",
LIBRARY= "کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند",
SUBJECT = "COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS",
URL = "/book/93582099/agent-SystemsSpecification-and-Verification-of-Mu/"}