Open Access Published by De Gruyter October 18, 2016

Modular analysis of gene networks by linear temporal logic

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