scientific article

From MaRDI portal

Publication:3081632

Jump to:navigation, search

zbMath1213.68381MaRDI QIDQ3081632

Tiziano Villa, Jie-Hong R. Jiang

Publication date: 9 March 2011

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

zbMATH Keywords

combinational equivalence checking hardware equivalence checking resettability verification sequential equivalence checking

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3081632&oldid=16152218"