Back to search

Springer

Automatic verification of sequential infinite state processes

dc:creator Burkart, Olaf

dc:date1997

Degree

thesis:*

Grantor dc:publisher: Springer
Year dc:date: 1997

Author and committee

dc:creator, dc:contributor.*

Author dc:creator: Burkart, Olaf

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-119844%22
OAI identifier oai:identifier: oai:publications.rwth-aachen.de:57855

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
1997

citation

Burkart, Olaf. Automatic verification of sequential infinite state processes. Springer, 1997. https://publications.rwth-aachen.de/record/57855