Figure 11From: Semantics-based composition of EMBOSS servicesModel checking examples. Model checking of a formula expressing that each built HMM must be calibrated before it actually emits sequences.Back to article page