Information and Media Technologies
Online ISSN : 1881-0896
ISSN-L : 1881-0896
Computing
CSP-Prover — a Proof Tool for the Verification of Scalable Concurrent Systems
Yoshinao Isobe, Markus Roggenbach
著者情報
ジャーナル フリー

2010 年 5 巻 1 号 p. 32-39

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

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

BIB TEX形式

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

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

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