Model checking parameterized timed systems /

Description

Diss. Uppsala : Uppsala universitet, 2005.

Links & Downloads

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

Tags

Additional Fields

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