Graphical Requirements for Multistationarity in Reaction Networks and their Verification in BioModels.
Adrien BaudierFrançois FagesSylvain SolimanPublished in: CoRR (2018)
Keyphrases
- network design
- computer networks
- data sets
- community detection
- complex networks
- social networks
- grid workflow
- signature verification
- network resources
- real time systems
- network analysis
- model checking
- complex systems
- business processes
- design principles
- user requirements
- graphical models
- heterogeneous networks
- multi agent
- database systems
- telecommunication networks
- knowledge base
- formal verification
- wide area network
- information systems