Return to search

Model checking parameterized timed systems /

Diss. Uppsala : Uppsala universitet, 2005.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/186730955
Date January 2005
CreatorsMahata, Pritha,
PublisherUppsala : Acta Universitatis Upsaliensis : Univ.-bibl. [distributoĢˆr],
Source SetsOCLC
LanguageEnglish
Detected LanguageSwedish

Page generated in 0.0016 seconds