NDLTD Global ETD Search
New Search
Return to search
Formale Verifikation von Realzeit-Systemen mittels Cottbus-Timed-Automata
Description
Brandenburgische Techn. Universiẗat, Diss., 2002--Cottbus.
Links & Downloads
http://se6.kobv.de:8000/btu/volltexte/2007/55/pdf/diss_beyer.pdf
http://se6.kobv.de:8000/btu/volltexte/2007/55/
http://deposit.d-nb.de/cgi-bin/dokserv?idn=965976351
Tags
Additional Fields
Identifer
oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/175070159
Creators
Beyer, Dirk.
Source Sets
OCLC
Language
German
Detected Language
German
Page generated in 0.0014 seconds