Back to Results
First PageMeta Content
Formal languages / Predicate logic / Boolean algebra / Automata theory / Propositional variable / Binary decision diagram / FO / Finite-state machine / Well-formed formula / Logic / Mathematics / Mathematical logic


, , 1?? () c Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Automata Based Symbolic Reasoning in Hardware Veri cation * DAVID BASIN
Add to Reading List

Document Date: 2007-03-08 16:47:13

Open Document

File Size: 351,92 KB

Share Result on Facebook

City

Boston / Br. / /

Company

AT&T Labs / Parameterized Combinational Hardware / NJ 07932 / /

Country

Netherlands / /

Currency

pence / /

/

IndustryTerm

related systems / hardware systems / sequential hardware / combinational hardware / automaton product algorithm / cross-product / veri cation tool / signal-processing circuit / minimization algorithm / /

Person

Ai / NILS KLARLUND / Florham Park / DAVID BASIN / /

Position

Editor / /

Product

Mona / /

ProvinceOrState

New Jersey / /

SportsEvent

the formula 1 / /

Technology

BDD algorithms / main algorithms / Mona minimization algorithm / automaton product algorithm / /

SocialTag