{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T19:32:46Z","timestamp":1729625566562,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/icse.2012.6227079","type":"proceedings-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T17:24:04Z","timestamp":1341854644000},"page":"1361-1364","source":"Crossref","is-referenced-by-count":3,"title":["Engineering and verifying requirements for programmable self-assembling nanomachines"],"prefix":"10.1109","author":[{"given":"Robyn","family":"Lutz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jack","family":"Lutz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Lathrop","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Titus","family":"Klinge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Henderson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Divita","family":"Mathur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dalia Abo","family":"Sheasha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/2000799.2000803"},{"journal-title":"Requirements Engineering From System Goals to UML Models to Software Specifications","year":"2009","author":"van lamsweerde","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029905"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1006377107"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1038\/ncomms1452"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1038\/nature04586"},{"journal-title":"Algorithmic Self-Assembly of DNA","year":"1998","author":"winfree","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-5193(82)90002-9"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1038\/nbt1307"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1093\/nar\/gkp436"},{"key":"6","doi-asserted-by":"crossref","DOI":"10.1098\/rsif.2009.0072.focus","article-title":"A programming language for composable DNA circuits","volume":"6","author":"phillips","year":"2009","journal-title":"Journal of The Royal Society Interface"},{"key":"5","doi-asserted-by":"crossref","first-page":"605","DOI":"10.1038\/35020524","article-title":"A DNA-fuelled molecular machine made of DNA","volume":"406","author":"yurke","year":"2000","journal-title":"Nature"},{"journal-title":"The Tile Assembly Model Is Intrinsically Universal","year":"2011","author":"doty","key":"4"},{"journal-title":"Safeware System Safety and Computers","year":"1995","author":"leveson","key":"9"},{"key":"8","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","article-title":"Prism 4.0: Verification of probabilistic real-time systems","volume":"6806","author":"kwiatkowska","year":"2011","journal-title":"Proc 23rd International Conference on Computer Aided Verification (CAV11)"}],"event":{"name":"2012 34th International Conference on Software Engineering (ICSE 2012)","start":{"date-parts":[[2012,6,2]]},"location":"Zurich","end":{"date-parts":[[2012,6,9]]}},"container-title":["2012 34th International Conference on Software Engineering (ICSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6218989\/6227015\/06227079.pdf?arnumber=6227079","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T17:08:06Z","timestamp":1497978486000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6227079\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/icse.2012.6227079","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}