Bisimulationen und Äquivalenzbegriffe für Transitionssysteme und Ereignisstrukturen

Description

Mannheim, Univ., Diplomarbeit, 1995.

Links & Downloads

1. urn:nbn:de:bsz:180-madoc-17504
2. http://nbn-resolving.de/urn:nbn:de:bsz:180-madoc-17504

Tags

n. Bisimulation. Äquivalenzrelation.

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/315908219
Date	January 1995
Creators	Christgau, Martin.
Publisher	Mannheim : Universität Mannheim / Institut für Informatik,
Source Sets	OCLC
Language	German
Detected Language	German
Type	Online-Publikation.
Source	Kostenfrei