Local Search in Model Checking (Q3648688)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Local Search in Model Checking
scientific article

    Statements