Constraint-Based Analysis of Broadcast Protocols

Delzanno, Giorgio; Esparza, Javier; Podelski, Andreas

アイテム詳細

登録内容を編集ファイル形式で保存

一時保存へ追加

タグ情報を表示リリース履歴を表示詳細要約

公開

会議論文

Constraint-Based Analysis of Broadcast Protocols

MPS-Authors

/persons/resource/persons44290

Delzanno, Giorgio
Programming Logics, MPI for Informatics, Max Planck Society;

/persons/resource/persons44391

Esparza, Javier
Programming Logics, MPI for Informatics, Max Planck Society;

/persons/resource/persons45201

Podelski, Andreas
Programming Logics, MPI for Informatics, Max Planck Society;

External Resource

There are no locators available

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

フルテキスト (公開)

公開されているフルテキストはありません

付随資料 (公開)

There is no public supplementary material available

引用

Delzanno, G., Esparza, J., & Podelski, A. (1999). Constraint-Based Analysis of Broadcast Protocols. In J., Flum, & M., Rodríguez-Artalejo (Eds.), Proceedings of the 13th International Workshop on Computer Science Logic (CSL-99), 8th Annual Conference on the EACSL (pp. 50-66). Berlin, Germany: Springer.

引用: https://hdl.handle.net/11858/00-001M-0000-000F-3637-8

要旨

要旨はありません