Login / Signup
Methods to Expand Cell Signaling Models Using Automated Reading and Model Checking.
Kai-Wen Liang
Qinsi Wang
Cheryl Telmer
Divyaa Ravichandran
Peter Spirtes
Natasa Miskov-Zivanov
Published in:
CMSB (2017)
Keyphrases
</>
model checking
temporal logic
finite state
finite state machines
formal specification
partial order reduction
artificial intelligence
rough sets
petri net
mathematical models
formal verification