Lattice-based refinement in bounded model checking (Q1629959)

From MaRDI portal
scientific article
In more languages
Configure
Language Label Description Also known as
English
Lattice-based refinement in bounded model checking
scientific article

    Statements

    Lattice-based refinement in bounded model checking (English)
    7 December 2018

    Identifiers