Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata /

Description

Cottbus, Techn. Univ., Diss., 2002. / Cottbus, Techn. Univ., Diss., 2002.

Links & Downloads

1. http://deposit.ddb.de/cgi-bin/dokserv?idn=965976351
2. http://nbn-resolving.de/urn:nbn:de:kobv:co1-000000258
3. http://opus.kobv.de/btu/volltexte/2007/55/

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/634570109
Date	January 2002
Creators	Beyer, Dirk.
Source Sets	OCLC
Language	German
Detected Language	German