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

Description

Stuttgart, Univ., Diss., 2006.

Links & Downloads

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

Tags

Model Checking.

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/315473999
Date	January 2006
Creators	Schröter, Claus.
Publisher	[S.l. : s.n.],
Source Sets	OCLC
Language	German
Detected Language	German
Type	Online-Publikation.
Source	Kostenfrei