scientific article; zbMATH DE number 139972

MaRDI QIDQ4028327zbMATH OpenFDO

Authors Guy Durrieu, Kamel Kessaci, Michel Lemaître

Publication date 28 March 1993

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Applications of design theory to circuits and networks (94C30)

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 Q4028327)