专题首页
中图分类法(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 Manzonib
;
luca.manzoni@disco.unimib.it"
class
="auth_
mail
"
title
="E-
mail
the
corresponding
author
;
Ion Petrea
;
ipet
re@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
class
es
刊名:
The
oretical Computer Science
年:2016
1
按检索点细分(1)
作者(1)
按年细分(1)
2016年(1)
按来源细分(1)
Elsevier(1)
按类型细分(1)
期刊(1)