Persistent URL of this record https://hdl.handle.net/1887/3655521
Documents
-
- Download
- 978-3-642-34032-1_3
- Publisher's Version
- open access
- Full text at publishers site
In Collections
This item can be found in the following collections:
Using multiobjective optimization and energy minimization to design an isoform-selective ligand of the 14-3-3 Protein
- All authors
- Sanchez-Faddeev, H.; Emmerich, Michael T.M.; Verbeek, F.J.; Henry, A.H.; Grimshaw, S.; Spaink, H.P.; Vlijmen, H.W.T. van; Bender, A.
- Editor(s)
- Margaria, T.; Steffen, B.
- Date
- 2012
- Title of host publication
- Lecture Notes in Computer Science; Leveraging applications of formal methods, verification and validation. applications and case studies (ISoLA 2012)
- Volume
- 7610
- Pages
- 12 - 24
- ISBN (print)
- 9783642340314
- ISBN (electronic)
- 9783642340321
Publication Series
- Name
- 7610
Conference
- Conference
- International Symposium On Leveraging Applications of Formal Methods, Verification and Validation ISoLA 2012
- Date
- 2012-10-15 - 2012-10-18
- Location
- Heraklion, Greece