First Page | Document Content | |
---|---|---|
Date: 2007-02-17 18:15:49Logic in computer science Mathematics Formal methods Computer memory Automata theory Rewriting Retiming Combinational logic Flip-flop Theoretical computer science Digital electronics Electronic engineering | Microsoft Word - SeqVerification08.docAdd to Reading ListSource URL: www.bvsrc.orgDownload Document from Source WebsiteFile Size: 232,46 KBShare Document on Facebook |