New directions in symbolic model checking /

Description

Diss. Uppsala : Univ., 2003.

Links & Downloads

1. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-3753
2. urn:nbn:se:uu:diva-3753

Tags

System design. Systemutveckling.

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/186080649
Date	January 2003
Creators	Orso, Julien d',
Publisher	Uppsala : Acta Universitatis Upsaliensis : Univ.-bibl. [distributör],
Source Sets	OCLC
Language	English
Detected Language	English