Return to search

Formale Verifikation von Realzeit-Systemen mittels Cottbus-Timed-Automata

Brandenburgische Techn. Universiẗat, Diss., 2002--Cottbus.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/175070159
CreatorsBeyer, Dirk.
Source SetsOCLC
LanguageGerman
Detected LanguageGerman

Page generated in 0.0016 seconds