Genome Informatics
Online ISSN : 2185-842X
Print ISSN : 0919-9454
ISSN-L : 0919-9454
A π-Calculus Model of the Na Pump
Gabriel Ciobanu, Vlad Ciubotariu, Bogdan Tanasa
Author information
Keywords: process algebra, membrane transport, Na pump, conformational change, concurrent and communicating processes, π-calculus, model checking and verification
JOURNAL FREE ACCESS

2002 Volume 13 Pages 469-471

Details
Download PDF (399K)
Download citation RIS

(compatible with EndNote, Reference Manager, ProCite, RefWorks)

BIB TEX

(compatible with BibDesk, LaTeX)

Text
How to download citation
Contact us
Article 1st page
Content from these authors
© Japanese Society for Bioinformatics
Previous article Next article
Favorites & Alerts

Recently viewed articles
Share this page
feedback
 Top