Printer Friendly

Articles from ACM Transactions on Programming Languages & Systems (July 1, 1997)

1-2 out of 2 article(s)
Title Author Type Words
A refinement calculus for the synthesis of verified hardware descriptions in VHDL. Breuer, Peter T.; Kloos, Carlos Delgado; Lopez, Andres Marin; Madrid, Natividad Martinez; Fernandez, 11288
Utilizing symmetry when model-checking under fairness assumptions: an automata-theoretic approach. Emerson, E.A.; Sistla, A.P. 13153

Terms of use | Privacy policy | Copyright © 2021 Farlex, Inc. | Feedback | For webmasters |