Login / Signup
A New Protocol for Predicting Novel GSK-3β ATP Competitive Inhibitors.
Jiansong Fang
Dane Huang
Wenxia Zhao
Hu Ge
Hai-Bin Luo
Jun Xu
Published in:
J. Chem. Inf. Model. (2011)
Keyphrases
</>
lightweight
theorem prover
coloured petri nets
network protocols
automated theorem proving
tcp ip
cryptographic protocols
mobile devices
authentication protocol
database
security analysis
communication protocols
network simulator
case study
protocol specification
file transfer
information systems