scientific article; zbMATH DE number 1751899

zbMATH Open1017.68064MaRDI QIDQ4532986FDOQ4532986

Authors: A. D. Zakrevskij 

Publication date: 6 June 2002

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

Recommendations

• Representational and denotational semantics of digital systems
• Analysis of processes in digital schemes.
• Automatic Verification of Sequential Circuits Using Temporal Logic
• Representations of finite automata
• Designing tests for automata networks from signal sequences. I. Calculus of generalized asynchronous sequences

zbMATH Keywords

automata correctnesssequent automaton

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cited In (2)

• Title not available (Why is that?)
• Representational and denotational semantics of digital systems

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