The computational complexity of avoiding spurious states in state space abstraction (Q622104)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The computational complexity of avoiding spurious states in state space abstraction
scientific article

    Statements