Journal Article Analyzing Resilience Properties in Oscillatory Biological Systems Using Parametric Model Checking

マニアン, モルガン  ,  Magnin, Morgan  ,  井上, 克巳  ,  Inoue, Katsumi

149pp.50 - 58 , 2016-12

Number of accesses :  

Other information