scientific article

zbMath0738.68090MaRDI QIDQ3976982

I. Ya. Landau, G. M. Pogosjantz

Publication date: 25 June 1992

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

zbMATH Keywords

CAD systemshardware simulationhardware description languages

Mathematics Subject Classification ID

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

This page was built for publication: