{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,9]],"date-time":"2023-01-09T22:54:00Z","timestamp":1673304840420},"reference-count":8,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2012,12,1]],"date-time":"2012-12-01T00:00:00Z","timestamp":1354320000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Embedded Syst. Lett."],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1109\/les.2012.2213235","type":"journal-article","created":{"date-parts":[[2012,8,14]],"date-time":"2012-08-14T18:03:54Z","timestamp":1344967434000},"page":"86-89","source":"Crossref","is-referenced-by-count":2,"title":["An Abstract Fault Model for NAND Flash Memory"],"prefix":"10.1109","volume":"4","author":[{"given":"Ji Hyuck","family":"Yun","sequence":"first","affiliation":[]},{"given":"Jin Hyuk","family":"Yoon","sequence":"additional","affiliation":[]},{"given":"Eyee Hyun","family":"Nam","sequence":"additional","affiliation":[]},{"given":"Sang Lyul","family":"Min","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/JSSC.1996.542301"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1089733.1089735"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024733"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/RELPHY.2008.4558857"},{"key":"ref8","author":"yun","year":"2011","journal-title":"X-BMS A Provably-Correct Bad Block Management Scheme for Flash Memory Based Storage Systems"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/978-3-540-27755-2_3","article-title":"Timed automata: Semantics, algorithms and tools","author":"bengtsson","year":"2004","journal-title":"Lecture Notes on Concurrency and Petri Nets LNCS 3098"},{"key":"ref2","year":"2009","journal-title":"Hynix Datasheet H27UAG8T2A 2 G8 Bit NAND Flash Memory"},{"key":"ref1","year":"2010","journal-title":"Samsung Electronics Datasheet K9GBG08U0A 4 G8 Bit NAND Flash Memory"}],"container-title":["IEEE Embedded Systems Letters"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4563995\/6377156\/06268318.pdf?arnumber=6268318","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T23:51:28Z","timestamp":1633909888000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6268318\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12]]},"references-count":8,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/les.2012.2213235","relation":{},"ISSN":["1943-0663","1943-0671"],"issn-type":[{"value":"1943-0663","type":"print"},{"value":"1943-0671","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,12]]}}}