Finding all minimal safe inductive sets

DOI10.1007/978-3-319-94144-8_21OpenAlexW2810845393MaRDI QIDQ1656591

Alexander Ivrii, Ryan Berryhill, Andreas G. Veneris

Publication date: 10 August 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-94144-8_21

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Computational aspects of satisfiability (68R07)

This page was built for publication: Finding all minimal safe inductive sets