@inproceedings{jenson+:apsec10,
  author = {Jenson, Graham and Dietrich, Jens and Guesgen, Hans W.},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/conf/apsec/JensonDG10.bib},
  booktitle = {17th Asia Pacific Software Engineering Conference, {APSEC} 2010, Sydney, Australia, November 30 - December 3, 2010},
  date-added = {2020-11-15 23:36:57 -0800},
  date-modified = {2020-11-15 23:36:57 -0800},
  editor = {Han, Jun and Thu, Tran Dan},
  pages = {226--233},
  publisher = {{IEEE} Computer Society},
  timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
  title = {A Formal Framework to Optimise Component Dependency Resolution},
  year = {2010},
  bdsk-file-1 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxAbcGFwZXJzL2plbnNvbithcHNlYzEwLWEucGRmTxEBdgAAAAABdgACAAAMTWFjaW50b3NoIEhEAAAAAAAAAAAAAAAAAAAAAAAAAEJEAAH/////FGplbnNvbithcHNlYzEwLWEucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAP////8AAAAAAAAAAAAAAAAAAQADAAAKIGN1AAAAAAAAAAAAAAAAAAZwYXBlcnMAAgA6LzpVc2VyczpnYW1ibGluMjpzcmM6YnVpbGQtYmliOnBhcGVyczpqZW5zb24rYXBzZWMxMC1hLnBkZgAOACoAFABqAGUAbgBzAG8AbgArAGEAcABzAGUAYwAxADAALQBhAC4AcABkAGYADwAaAAwATQBhAGMAaQBuAHQAbwBzAGgAIABIAEQAEgA4VXNlcnMvZ2FtYmxpbjIvc3JjL2J1aWxkLWJpYi9wYXBlcnMvamVuc29uK2Fwc2VjMTAtYS5wZGYAEwABLwAAFQACAA///wAAAAgADQAaACQAQgAAAAAAAAIBAAAAAAAAAAUAAAAAAAAAAAAAAAAAAAG8},
  bdsk-url-1 = {https://doi.org/10.1109/APSEC.2010.34}
}