Return to search

Abstraktionsverfahren zur Eigenschaftsprüfung mit bounded model checking

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

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/184990733
Date January 2006
CreatorsSchäfer, Ingo
PublisherBerlin dissertation.de
Source SetsOCLC
LanguageGerman
Detected LanguageGerman

Page generated in 0.0018 seconds