日本語
 
Help Privacy Policy ポリシー/免責事項
  詳細検索ブラウズ

アイテム詳細

登録内容を編集ファイル形式で保存
一時保存へ追加
 タグ情報を表示リリース履歴を表示詳細要約
  Model Checking Population Protocols

Esparza, J., Ganty, P., Leroux, J., & Majumdar, R. (2016). Model Checking Population Protocols. In A., Lal, S., Akshay, S., Saurabh, & S., Sen (Eds.), 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (pp. 1-14). Wadern: Schloss Dagstuhl. doi:10.4230/LIPIcs.FSTTCS.2016.27.

Item is

 

表示: 全項目 非表示: 全項目

基本情報

表示: 非表示:
アイテムのパーマリンク: https://hdl.handle.net/11858/00-001M-0000-002C-E99B-8 版のパーマリンク: https://hdl.handle.net/11858/00-001M-0000-002C-E99C-6
資料種別: 会議論文

ファイル

表示: ファイル

関連URL

表示:
非表示:
URL:
http://drops.dagstuhl.de/opus/volltexte/2016/6862/ (出版社版)
説明:
-
OA-Status:
URL:
http://drops.dagstuhl.de/doku/urheberrecht1.html (著作権譲渡合意書)
説明:
-
OA-Status:

作成者

表示:
非表示:
 作成者:
Esparza, Javier1, 著者
Ganty, Pierre1, 著者
Leroux, Jérôme1, 著者
Majumdar, Rupak2, 著者           
所属:
1External Organizations, ou_persistent22              
2Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society, ou_2105292              

内容説明

表示:

資料詳細

表示:
非表示:
言語: eng - English
 日付: 2016
 出版の状態: オンラインで出版済み
 ページ: -
 出版情報: -
 目次: -
 査読: -
 識別子（DOI, ISBNなど）: BibTex参照ID: esparza_et_al:LIPIcs:2016:6862
DOI: 10.4230/LIPIcs.FSTTCS.2016.27
URN: urn:nbn:de:0030-drops-68628
 学位: -

関連イベント

表示:
非表示:
イベント名: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
開催地: Chennai, India
開始日・終了日: 2016-12-13 - 2016-12-15

訴訟

表示:

Project information

表示:

出版物 1

表示:
非表示:
出版物名: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
  省略形 : FSTTCS 2016
  副タイトル : December 13–15, 2016, Chennai, India
種別: 会議論文集
 著者・編者:
Lal, Akash1, 編集者
Akshay, S.1, 編集者
Saurabh, Saket2, 編集者           
Sen, Sandeep2, 編集者           
所属:
1 External Organizations, ou_persistent22            
2 Algorithms and Complexity, MPI for Informatics, Max Planck Society, ou_24019            
出版社, 出版地: Wadern : Schloss Dagstuhl
ページ: - 巻号: - 通巻号: 27 開始・終了ページ: 1 - 14 識別子（ISBN, ISSN, DOIなど）: ISBN: 978-3-939897-97-2

出版物 2

表示:
非表示:
出版物名: Leibniz International Proceedings in Informatics
  省略形 : LIPIcs
種別: 連載記事
 著者・編者:
所属:
出版社, 出版地: -
ページ: - 巻号: 65 通巻号: - 開始・終了ページ: - 識別子（ISBN, ISSN, DOIなど）: ISSN: 1868-896