Publication:2763671
From MaRDI portal
zbMath0977.68056MaRDI QIDQ2763671
Publication date: 21 January 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2028/20280137
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Competent predicate abstraction in model checking, Incompleteness of states w.r.t. traces in model checking