TY - CPAPER AU - Belardinelli,F AU - Lomuscio,A DO - 10.1007/978-3-319-48758-8_8 EP - 126 PB - SPRINGER INTERNATIONAL PUBLISHING AG PY - 2016/// SN - 0302-9743 SP - 112 TI - A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems UR - http://dx.doi.org/10.1007/978-3-319-48758-8_8 UR - https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000389316500008&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=a2bf6146997ec60c407a63945d4e92bb ER -