Verification in the hierarchical development of reactive systems /

Description

Mannheim, Univ., Diss., 2001.

Links & Downloads

1. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB9216991

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/313704562
Date	January 2001
Creators	Salger, Frank.
Publisher	[S.l. : s.n.],
Source Sets	OCLC
Language	English
Detected Language	English