Vergleich von Algorithmen für den Leerheitstest von Büchiautomaten

Description

Stuttgart, Univ., Studienarbeit, 2007.

Links & Downloads

1. urn:nbn:de:bsz:93-opus-33482
2. http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-33482

Tags

Model Checking.

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/315871676
Date	January 2007
Creators	Gaiser, Andreas.
Publisher	Stuttgart : Universitätsbibliothek der Universität Stuttgart,
Source Sets	OCLC
Language	German
Detected Language	German
Type	Online-Publikation.
Source	Kostenfrei