Automata and logics for message sequence charts (Aachener Informatik Berichte ; AIB-2005-10)

Automata and logics for message sequence charts

(Aachener Informatik Berichte ; AIB-2005-10)

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

資料種別: 博士論文
ISSN（シリーズ）: 0935-3232
タイトル: Automata and logics for message sequence charts
著者・編者: Benedikt Bollig.
シリーズタイトル: Aachener Informatik Berichte ; AIB-2005-10
著者標目: Bollig, Benedikt Michael Peter.
出版事項: Aachen : Rheinisch-Westfalische Technische Hochschule Aachen
出版年月日等: 2005.
数量: ii, 157 p.
授与機関名: Rheinisch-Westfalische Technische Hochschule Aachen
授与年月日: 2005.
授与年月日（W3CDTF）: 2005
学位論文注記: 博士論文
Thesis (doctoral) --Rheinisch-Westfalische Technische Hochschule Aachen, 2005.
出版地（国名コード）: DE
本文の言語コード: eng
書誌注記: Includes bibliographies.
Summary in English and German.
所蔵機関: 国立国会図書館
請求記号: M-DIGA-11062
連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
書誌ID（NDLBibID）: 000008038317
http://id.ndl.go.jp/bib/000008038317
整理区分コード: 216