Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara and Naoki Yonezaki

Modular analysis of gene networks by linear temporal logic

Open Access
De Gruyter | Published online: October 18, 2016