scientific article; zbMATH DE number 2112981

zbMATH Open1082.68065MaRDI QIDQ4824480

Javier Esparza

Publication date: 1 November 2004

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

zbMATH Keywords

specification of asynchronous circuits

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Title not available (Why is that?)

Uses Software

• Petrify

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