Generating implementations from formal specifications a translator from Promela to Java /

Description

Stuttgart, Univ., Studienarb., 2002.

Links & Downloads

1. urn:nbn:de:bsz:93-opus-10560
2. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB9866644

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/314299099
Date	January 2002
Creators	Papesch, Matthias.
Publisher	[S.l. : s.n.],
Source Sets	OCLC
Language	English
Detected Language	English
Type	Online-Publikation.