{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:19:27Z","timestamp":1742393967266,"version":"3.28.0"},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,3]]},"DOI":"10.1109\/date.2008.4484666","type":"proceedings-article","created":{"date-parts":[[2008,4,15]],"date-time":"2008-04-15T18:15:51Z","timestamp":1208283351000},"page":"88-89","source":"Crossref","is-referenced-by-count":1,"title":["Quantitative Evaluation in Embedded System Design: Validation of Multiprocessor Multithreaded Architectures"],"prefix":"10.1109","author":[{"given":"Nicolas","family":"Coste","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hubert","family":"Garavel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Holger","family":"Hermanns","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"Hersemeule","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yvain","family":"Thonnart","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Meriem","family":"Zidouni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","article-title":"interactive markov chains and the quest for quantified quality","volume":"2428","author":"hermanns","year":"2002","journal-title":"LNCS"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1007\/978-3-540-73368-3_18"},{"key":"1","first-page":"410","article-title":"on combining functional verification and performance evaluation using cadp","volume":"2391","author":"garavel","year":"2002","journal-title":"LNCS"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1109\/ASYNC.2007.18"},{"key":"6","article-title":"translating hardware process algebras into standard process algebras - illustration with chp and lotos","volume":"3771","author":"salau?n","year":"2005","journal-title":"LNCS"},{"year":"0","author":"lantreibecq","article-title":"verification of the xstream communication model using cadp","key":"5"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1007\/3-540-36577-X_30"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1109\/MEMCOD.2003.1210105"},{"year":"0","key":"8"}],"event":{"name":"2008 Design, Automation and Test in Europe","start":{"date-parts":[[2008,3,10]]},"location":"Munich, Germany","end":{"date-parts":[[2008,3,14]]}},"container-title":["2008 Design, Automation and Test in Europe"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4475437\/4484624\/04484666.pdf?arnumber=4484666","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T17:42:37Z","timestamp":1489686157000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4484666\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/date.2008.4484666","relation":{},"subject":[],"published":{"date-parts":[[2008,3]]}}}