CIC bioGUNE Technology Platforms
M Reich - GenomeSpace
Michael Reich, GenomeSpace Workshop, fged_seattle_2013
Model Checking