Persistent URL of this record https://hdl.handle.net/1887/3642574
Documents
-
- Download
- 978-3-642-34032-1_4
- Publisher's Version
-
open access
- Full text at publishers site
In Collections
This item can be found in the following collections:
Segmentation for high-throughput image analysis: watershed masked clustering
- All authors
- Yan, K.; Verbeek, F.J.
- 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
- Volume
- 7610
- Pages
- 25 - 41
- 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