Automatic Authorization Analysis

Lamotte-Schubert, Manuel

doi:10.22028/D291-26619

アイテム詳細

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

一時保存へ追加

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

公開

学位論文

Automatic Authorization Analysis

MPS-Authors

/persons/resource/persons44881

Lamotte-Schubert, Manuel
Automation of Logic, MPI for Informatics, Max Planck Society;
International Max Planck Research School, MPI for Informatics, Max Planck Society;

External Resource

http://scidok.sulb.uni-saarland.de/volltexte/2015/6257/
(全文テキスト（全般）)

http://scidok.sulb.uni-saarland.de/doku/lic_ohne_pod.php?la=de
(著作権譲渡合意書)

Fulltext (restricted access)

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

フルテキスト (公開)

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

付随資料 (公開)

There is no public supplementary material available

引用

Lamotte-Schubert, M. (2015). Automatic Authorization Analysis. PhD Thesis, Universität des Saarlandes, Saarbrücken.

引用: https://hdl.handle.net/11858/00-001M-0000-0028-FD0B-7

要旨

要旨はありません