Model Checking Biological Oscillators
- 作者Ezio Bartocci; Flavio Corradini; Emanuela Merelli; Luca Tesei
- 卷第229卷
- 期第1期
- 印刷ISSN1571-0661
- 文件大小594.21KB
- 发表时间2009
- DOI10.1016/j.entcs.2009.02.004
- 页码41-58
同作者推荐
Assumption Classes in Natural DeductionDaniel Leivant · 1979
Descriptive characterizations of computational complexityDaniel Leivant · 1989
Propositional Dynamic Logic with Program QuantifiersDaniel Leivant · 2008
Markov's Rule revisitedDaniel Leivant · Archive for Mathematical Logic · 1990
PREFACEDaniel Leivant · 1998
PREFACEDaniel Leivant · 1998
Inductive definitions over finite structuresDaniel Leivant · 1990