Communication dans un congrès, BioInfo, Bio-informatique, Informatique
Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics
Stefan Haar, Juraj Kolčák, Loïc Paulevé. Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics. VMCAI 2019 - 20th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2019, Lisbon, Portugal. pp.555-576, ⟨10.1007/978-3-030-11245-5_26⟩. ⟨hal-01940174⟩
