Functional Specification of Hardware via Temporal Logic (Q3176382)

From MaRDI portal
scientific article
In more languages
Configure
Language Label Description Also known as
English
Functional Specification of Hardware via Temporal Logic
scientific article

    Statements

    Functional Specification of Hardware via Temporal Logic (English)