scientific article; zbMATH DE number 1852163

zbMath1002.68642MaRDI QIDQ4787235

Marisa Venturini Zilli, Enrico Tronci, Benedetto Intrigila, Giuseppe Della Penna

Publication date: 9 January 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2144/21440259

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07)

Related Items (1)

Hierarchical Adaptive State Space Caching Based on Level Sampling

Uses Software

• SPIN

This page was built for publication: