scientific article
From MaRDI portal
Publication:2763671
zbMath0977.68056MaRDI QIDQ2763671
Publication date: 21 January 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2028/20280137
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Competent predicate abstraction in model checking ⋮ Incompleteness of states w.r.t. traces in model checking
This page was built for publication: