scientific article
From MaRDI portal
Publication:2852018
zbMath1273.68240MaRDI QIDQ2852018
Publication date: 7 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106000557
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (8)
A unifying view on SMT-based software verification ⋮ Linear temporal logic symbolic model checking ⋮ Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems ⋮ On relative and probabilistic finite counterability ⋮ Liveness by Invisible Invariants ⋮ Automata-Theoretic Model Checking Revisited ⋮ Survey on Directed Model Checking ⋮ From liveness to promptness
This page was built for publication:
