@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}
}

{"_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}