Return to search

Halbordnungs- und Reduktionstechniken für die automatische Verifikation von verteilten Systemen

Stuttgart, Univ., Diss., 2006.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/315473999
Date January 2006
CreatorsSchröter, Claus.
Publisher[S.l. : s.n.],
Source SetsOCLC
LanguageGerman
Detected LanguageGerman
TypeOnline-Publikation.
SourceKostenfrei

Page generated in 0.0017 seconds