专题首页
中图分类法(1)
社会科学总论(1)
在“
自然资源管理
”中,
命中:
1
条,耗时:小于0.01 秒
1.
Complexity of model checking for reaction systems
作者:
Sepinoud Azimia
;
sazimi@abo.fi" class="auth_mail" title="E-mail the corresponding author
;
Cristian Gratiea
;
cgratie@abo.fi" class="auth_mail" title="E-mail the corresponding author
;
Sergiu Ivanovc
;
sergiu.ivanov@u-pec.fr" class="auth_mail" title="E-mail the corresponding author
;
Luca
Manzoni
b
;
luca
.
manzoni
@disco.unimib.it" class="auth_mail" title="E-mail the corresponding author
;
Ion Petrea
;
ipetre@abo.fi" class="auth_mail" title="E-mail the corresponding author
;
Antonio E. Porrecab
;
porreca@disco.unimib.it" class="auth_mail" title="E-mail the corresponding author
关键词:
Reaction systems
;
Model checking
;
Biomodeling
;
Conserved sets
;
Invariants
;
Steady state
;
Stationary process
;
Elementary flux
;
Periodicity
;
Complexity classes
刊名:Theoretical Computer Science
年:2016
1
按检索点细分(1)
作者(1)
按年细分(1)
2016年(1)
按来源细分(1)
Elsevier(1)
按类型细分(1)
期刊(1)