{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T15:31:15Z","timestamp":1725463875307},"reference-count":8,"publisher":"ECMS","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,6,7]]},"DOI":"10.7148\/2011-0525-0533","type":"proceedings-article","created":{"date-parts":[[2012,2,4]],"date-time":"2012-02-04T12:30:35Z","timestamp":1328358635000},"page":"525-533","source":"Crossref","is-referenced-by-count":1,"title":["Modelling And Verification Of Concurrent Programs Using Uppaal"],"prefix":"10.7148","author":[{"given":"Franco","family":"Cicirelli","sequence":"first","affiliation":[]},{"given":"Libero","family":"Nigro","sequence":"additional","affiliation":[]},{"given":"Francesco","family":"Pupo","sequence":"additional","affiliation":[]}],"member":"4144","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-92916-1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2009.122"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.patrec.2010.06.018"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejor.2008.06.040"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.1986.4334914"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0255(03)00075-6"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2004.834808"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s00500-003-0339-2"}],"event":{"name":"25th Conference on Modelling and Simulation"},"container-title":["ECMS 2011 Proceedings edited by: T. Burczynski, J. Kolodziej, A. Byrski, M. Carvalho"],"original-title":[],"deposited":{"date-parts":[[2012,11,10]],"date-time":"2012-11-10T15:23:32Z","timestamp":1352561012000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.scs-europe.net\/dlib\/2011\/2011-0525.htm"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6,7]]},"references-count":8,"URL":"https:\/\/doi.org\/10.7148\/2011-0525-0533","relation":{},"subject":[],"published":{"date-parts":[[2011,6,7]]}}}