Designing and Analyzing a Flash File System with Alloy. Kang, E. & Jackson, D. Int. J. Software and Informatics, 3(2-3):129-148, 2009.
Paper bibtex @article{DBLP:journals/ijsi/KangJ09,
author = {Eunsuk Kang and
Daniel Jackson},
title = {Designing and Analyzing a Flash File System with Alloy},
journal = {Int. J. Software and Informatics},
volume = {3},
number = {2-3},
year = {2009},
pages = {129-148},
url_paper={pubs/2009/ijsi09_flash.pdf}
}
Downloads: 0
{"_id":"446cZ2MR2QfzAZ6HZ","bibbaseid":"kang-jackson-designingandanalyzingaflashfilesystemwithalloy-2009","author_short":["Kang, E.","Jackson, D."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Eunsuk"],"propositions":[],"lastnames":["Kang"],"suffixes":[]},{"firstnames":["Daniel"],"propositions":[],"lastnames":["Jackson"],"suffixes":[]}],"title":"Designing and Analyzing a Flash File System with Alloy","journal":"Int. J. Software and Informatics","volume":"3","number":"2-3","year":"2009","pages":"129-148","url_paper":"pubs/2009/ijsi09_flash.pdf","bibtex":"@article{DBLP:journals/ijsi/KangJ09,\n author = {Eunsuk Kang and\n Daniel Jackson},\n title = {Designing and Analyzing a Flash File System with Alloy},\n journal = {Int. J. Software and Informatics},\n volume = {3},\n number = {2-3},\n year = {2009},\n pages = {129-148},\n url_paper={pubs/2009/ijsi09_flash.pdf}\n}\n\n","author_short":["Kang, E.","Jackson, D."],"key":"DBLP:journals/ijsi/KangJ09","id":"DBLP:journals/ijsi/KangJ09","bibbaseid":"kang-jackson-designingandanalyzingaflashfilesystemwithalloy-2009","role":"author","urls":{" paper":"https://groups-csail-mit-edu.ezproxy.canberra.edu.au/sdg/pubs/2009/ijsi09_flash.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://groups-csail-mit-edu.ezproxy.canberra.edu.au/sdg/sdgpub.bib","dataSources":["t9Kc2YBfktMvKserb","MautteQst6amcB23d"],"keywords":[],"search_terms":["designing","analyzing","flash","file","system","alloy","kang","jackson"],"title":"Designing and Analyzing a Flash File System with Alloy","year":2009,"downloads":1}