Qualitative Analysis of Gene Regulatory Networks by Satisfiability Checking of Linear Temporal Logic.

Sohei Ito, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki

Browse the full BIBE paper archive.