Regular model checking /

Description

Diss. Uppsala : Univ., 2005.

Links & Downloads

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

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/186703976
Date	January 2005
Creators	Nilsson, Marcus,
Publisher	Uppsala : Acta Universitatis Upsaliensis : Univ.-bibl. [distributör],
Source Sets	OCLC
Language	English
Detected Language	Swedish