Return to search

Regular model checking /

Diss. Uppsala : Univ., 2005.

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

Page generated in 0.0018 seconds