{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,30]],"date-time":"2024-07-30T13:50:16Z","timestamp":1722347416228},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["EURASIP J Embed Syst","EURASIP Journal on Embedded Systems"],"published-print":{"date-parts":[[2009]]},"DOI":"10.1155\/2009\/548324","type":"journal-article","created":{"date-parts":[[2009,6,8]],"date-time":"2009-06-08T13:36:19Z","timestamp":1244468179000},"page":"548324","source":"Crossref","is-referenced-by-count":21,"title":["A Formal Approach to the Verification of Networks on Chip"],"prefix":"10.1186","volume":"2009","author":[{"given":"Dominique","family":"Borrione","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amr","family":"Helmy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurence","family":"Pierre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julien","family":"Schmaltz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/2.976921"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2005.108"},{"key":"34","year":"2002"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-007-0049-0"},{"key":"23","year":"2002"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/265943.265960"},{"key":"24","year":"1993"},{"key":"18","year":"1993"},{"key":"4","year":"2004"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211081"},{"key":"7","year":"1988"},{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-004-0051-8"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1109\/32.815324"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.41"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2002.1044298"},{"key":"36","year":"2002"},{"key":"14","year":"2003"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1016\/j.vlsi.2004.03.003"}],"container-title":["EURASIP Journal on Embedded Systems"],"original-title":[],"language":"en","deposited":{"date-parts":[[2011,11,17]],"date-time":"2011-11-17T13:38:45Z","timestamp":1321537125000},"score":1,"resource":{"primary":{"URL":"http:\/\/jes.eurasipjournals.com\/content\/2009\/1\/548324"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"references-count":19,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009]]}},"alternative-id":["1687-3963-2009-548324"],"URL":"https:\/\/doi.org\/10.1155\/2009\/548324","relation":{},"ISSN":["1687-3963"],"issn-type":[{"value":"1687-3963","type":"print"}],"subject":[],"published":{"date-parts":[[2009]]}}}