{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T22:48:01Z","timestamp":1725403681642},"reference-count":0,"publisher":"ECMS","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,5,26]]},"DOI":"10.7148\/2017-0011","type":"proceedings-article","created":{"date-parts":[[2017,8,14]],"date-time":"2017-08-14T10:27:44Z","timestamp":1502706464000},"page":"11-17","source":"Crossref","is-referenced-by-count":1,"title":["Statistical Model Checking Of Multi-Agent Systems"],"prefix":"10.7148","author":[{"given":"Libero","family":"Nigro","sequence":"first","affiliation":[]},{"given":"Paolo F.","family":"Sciammarella","sequence":"additional","affiliation":[]}],"member":"4144","published-online":{"date-parts":[[2017,8,12]]},"event":{"name":"31st Conference on Modelling and Simulation"},"container-title":["ECMS 2017 Proceedings edited by Zita Zoltay Paprika, P\u00e9ter Hor\u00e1k, Kata V\u00e1radi, P\u00e9ter Tam\u00e1s Zwierczyk, \u00c1gnes Vidovics-Dancs, J\u00e1nos P\u00e9ter R\u00e1dics"],"original-title":[],"deposited":{"date-parts":[[2017,8,14]],"date-time":"2017-08-14T10:27:44Z","timestamp":1502706464000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.scs-europe.net\/dlib\/2017\/2017-0011.htm"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5,26]]},"references-count":0,"URL":"https:\/\/doi.org\/10.7148\/2017-0011","relation":{},"subject":[],"published":{"date-parts":[[2017,5,26]]}}}