scientific article; zbMATH DE number 14500

zbMATH Open0738.68090MaRDI QIDQ3976982FDOQ3976982

Authors: I. Ya. Landau, G. M. Pogosjantz 

Publication date: 25 June 1992

Title of this publication is not available (Why is that?)

zbMATH Keywords

hardware simulationhardware description languagesCAD systems

Mathematics Subject Classification ID

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

Cited In (2)

• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3976982)