Analyzing Resilience Properties in Oscillatory Biological Systems Using Parametric Model Checking

Publication Information

Title

Japanese:	Analyzing Resilience Properties in Oscillatory Biological Systems Using Parametric Model Checking
English:	Analyzing Resilience Properties in Oscillatory Biological Systems Using Parametric Model Checking

Author

Japanese:	Alexander Andreychenko, Morgan Magnin, Katsumi Inoue.
English:	Alexander Andreychenko, Morgan Magnin, Katsumi Inoue.

Language

English

Journal/Book name

Japanese:	BioSystems
English:	BioSystems

Volume, Number, Page

Vol. 149 pp. 50-58

Published date

Dec. 2016

Publisher

Japanese:
English:

Conference name

Japanese:
English:

Conference site

Japanese:
English:

DOI