Back to search

RWTH, Fachgruppe Informatik

Logics for Mazurkiewicz traces

dc:creator Leucker, Martin

dc:date2002

Degree

thesis:*

Grantor dc:publisher: RWTH, Fachgruppe Informatik
Year dc:date: 2002

Author and committee

dc:creator, dc:contributor.*

Author dc:creator: Leucker, Martin
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-123095%22
OAI identifier oai:identifier: oai:publications.rwth-aachen.de:61430

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
2002

citation

Leucker, Martin. Logics for Mazurkiewicz traces. RWTH, Fachgruppe Informatik, 2002. https://publications.rwth-aachen.de/record/61430