Formal Reasoning on Timing at the Timing Diagram Level

Bibliographic Details
Main Authors: Cingel, Viktor (Author), Frištacký, Norbert, 1931-2006 (Author)
Format: Article
Language:Slovak
English
Subjects: