Return to search

Applications of property based synthesis in formal verification

Zugl.: Darmstadt, Techn. Univ., Diss., 2009

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/551711023
Date January 2009
CreatorsSchickel, Martin
PublisherBerlin dissertation.de
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0016 seconds