scientific article; zbMATH DE number 1948413
From MaRDI portal
Publication:4411978
zbMath1015.68124MaRDI QIDQ4411978
Roberto Giacobazzi, Francesco Ranzato
Publication date: 13 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2477/24770461.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Natural projection as partial model checking, Incompleteness of states w.r.t. traces in model checking