Loïc Paulevé, Nathalie Théret. 6th International Workshop on Static Analysis and Systems Biology (SASB 2015)
. Loïc Paulevé; Nathalie Theret.
SASB, Sep 2015, Saint-Malo, France. 326,
Elsevier, pp.88, 2016, Electronic Notes in Theoretical Computer Science.
⟨hal-01385704⟩