Author:
Sedghamiz Hooman,Morris Matthew,Craddock Travis J. A,Whitley Darrell,Broderick Gordon
Funder
Congressionally Directed Medical Research Programs
Subject
Biomedical Engineering,Histology,Bioengineering,Biotechnology
Reference53 articles.
1. Bringing LTL Model Checking to Biologists,;Ahmed,2017
2. Signaling networks: asynchronous boolean models,;Albert,2015
3. On Parameter Synthesis by Parallel Model Checking;Barnat;IEEE/ACM Trans. Comput. Biol. Bioinform.,2012
4. Constraint programming: in pursuit of the holy grail;Barták;Theor. Comput. Sci.,1999
5. Efficient parameter search for qualitative models of regulatory networks using symbolic model checking;Batt;Bioinformatics,2011
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献