Return to search

Bisimulationen und Äquivalenzbegriffe für Transitionssysteme und Ereignisstrukturen

Mannheim, Univ., Diplomarbeit, 1995.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/315908219
Date January 1995
CreatorsChristgau, Martin.
PublisherMannheim : Universität Mannheim / Institut für Informatik,
Source SetsOCLC
LanguageGerman
Detected LanguageGerman
TypeOnline-Publikation.
SourceKostenfrei

Page generated in 0.0015 seconds