Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications

von Smijáková, Eva
Veröffentlicht in CMSB (18. : 2020 : Online) Computational methods in systems biology (2020)