Automata and logics for message sequence charts

Bollig, Benedikt

Back to search

RWTH, Department of Computer Science

Automata and logics for message sequence charts

dc:creator Bollig, Benedikt

dc:date2005

Degree

thesis:*

Grantor dc:publisher: RWTH, Department of Computer Science
Year dc:date: 2005

Author and committee

dc:creator, dc:contributor.*

Author dc:creator: Bollig, Benedikt
Contributors dc:contributor: Indermark, Klaus

Rights

dc:rights

Statement dc:rights: info:eu-repo/semantics/closedAccess
Language dc:language: eng

Identifiers

dc:identifier.*

Identifier: https://publications.rwth-aachen.de/search?p=id:%22RWTH-CONV-124798%22
OAI identifier oai:identifier: oai:publications.rwth-aachen.de:63366

Chain of custody

source

Harvested from: RWTH Aachen University
Base URL: publications.rwth-aachen.de/oai2d
Last updated: 2026-07-30
Source record: OAI-PMH GetRecord

related terms

aachen
2005

citation

Bollig, Benedikt. Automata and logics for message sequence charts. RWTH, Department of Computer Science, 2005. https://publications.rwth-aachen.de/record/63366