Login / Signup
Towards an Efficient Verification Method for Monotonicity Properties of Chemical Reaction Networks.
Roberta Gori
Paolo Milazzo
Lucia Nasti
Published in:
BIOINFORMATICS (2019)
Keyphrases
</>
chemical reaction
verification method
model checking
temporal logic
computer networks
information retrieval
database
artificial intelligence
computer vision
similarity measure
computationally efficient
network structure
community structure
network model
monotonicity property