M Folschette, L Paulevé, K Inoue, M Magnin… - Theoretical Computer …, 2015 - hal.science
Qualitative formalisms offer a well-established alternative to the more tradi-tionally used
differential equation models of Biological Regulatory Networks (BRNs). These formalisms …