Home
About us
About Journal
Impact Factor
Awards
Indexed-in
Editorial Office
Editorial Board
Subscription
Aims And Scopes
Subscription
Contact us
Chinese
π-Calculus Semantics and Verification of Na
+
-K
+
-ATPase
ZHANG Hong, LIU Lei, PANG Zhu, LIU Yi qing
Journal of Jilin University Science Edition . 2006, (
06
): 119 -122 .