Verification of parameterized and timed systems : undecidability results and efficient methods /

Description

Diss. (sammanfattning) Uppsala : Uppsala universitet, 2006. / Härtill 4 uppsatser.

Links & Downloads

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

Tags

Programutveckling.

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/185330663
Date	January 2006
Creators	Deneux, Johann,
Publisher	Uppsala : Acta Universitatis Upsaliensis,
Source Sets	OCLC
Language	English
Detected Language	Swedish