Davide Prandi. A Formal Approach to Molecular Docking. In Corrado Priami, editor, Computational Methods in Systems Biology, International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006, Proceedings. Volume 4210 of Lecture Notes in Computer Science, pages 78-92, Springer, 2006. [doi]
Abstract is missing.