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)

Name of awarding university/degree: Rheinisch-Westfalische Technische Hochschule Aachen

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 博士論文
ISSN (series): 0935-3232
Title: Automata and logics for message sequence charts
Author/Editor: Benedikt Bollig.
Series Title: Aachener Informatik Berichte ; AIB-2005-10
Author Heading: Bollig, Benedikt Michael Peter.
Publication, Distribution, etc.: Aachen : Rheinisch-Westfalische Technische Hochschule Aachen
Publication Date: 2005.
Extent: ii, 157 p.
Degree grantor/type: Rheinisch-Westfalische Technische Hochschule Aachen
Date Granted: 2005.
Date Granted (W3CDTF): 2005
Note (Dissertation): 博士論文
Thesis (doctoral) --Rheinisch-Westfalische Technische Hochschule Aachen, 2005.
Place of Publication (Country Code): DE
Text Language Code: eng
Note (Bibliography): Includes bibliographies.
Summary in English and German.
Holding library: 国立国会図書館
Call No.: M-DIGA-11062
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000008038317
http://id.ndl.go.jp/bib/000008038317
Bibliographic Record Category (NDL): 216