Engineering and verifying requirements for programmable self-assembling nanomachines

Robyn R. Lutz, Jack H. Lutz, James I. Lathrop, Titus Klinge, Eric Henderson, Divita Mathur, Dalia Abo Sheasha. Engineering and verifying requirements for programmable self-assembling nanomachines. In Martin Glinz, Gail C. Murphy, Mauro Pezzè, editors, 34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland. pages 1361-1364, IEEE, 2012. [doi]

@inproceedings{LutzLLKHMS12,
  title = {Engineering and verifying requirements for programmable self-assembling nanomachines},
  author = {Robyn R. Lutz and Jack H. Lutz and James I. Lathrop and Titus Klinge and Eric Henderson and Divita Mathur and Dalia Abo Sheasha},
  year = {2012},
  doi = {10.1109/ICSE.2012.6227079},
  url = {http://dx.doi.org/10.1109/ICSE.2012.6227079},
  researchr = {https://researchr.org/publication/LutzLLKHMS12},
  cites = {0},
  citedby = {0},
  pages = {1361-1364},
  booktitle = {34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland},
  editor = {Martin Glinz and Gail C. Murphy and Mauro Pezzè},
  publisher = {IEEE},
  isbn = {978-1-4673-1067-3},
}