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
著者情報
キーワード: process algebra, membrane transport, Na pump, conformational change, concurrent and communicating processes, π-calculus, model checking and verification
ジャーナル フリー

2002 年 13 巻 p. 469-471

詳細
PDFをダウンロード (399K)
メタデータをダウンロード RIS形式

(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)

BIB TEX形式

(BibDesk、LaTeXとの互換性あり)

テキスト
メタデータのダウンロード方法
発行機関連絡先
記事の1ページ目
著者関連情報
© Japanese Society for Bioinformatics
前の記事 次の記事
お気に入り & アラート

閲覧履歴
このページを共有する
feedback
 Top