2007 |
4 | EE | Frederick C. Furtek:
A Theory and Calculus for Reasoning about Sequential Behavior
CoRR abs/cs/0701088: (2007) |
2004 |
3 | EE | Frederick C. Furtek,
Eugene Hogenauer,
James Scheuermann:
Interconnecting Heterogeneous Nodes in an Adaptive Computing Machine.
FPL 2004: 125-134 |
1984 |
2 | | Frederick C. Furtek:
A Necessary and Sufficient Condition for a Product Relation to Be Total.
J. Comb. Theory, Ser. A 37(3): 320-326 (1984) |
1980 |
1 | | Frederick C. Furtek:
Specification and Verification of Real-Time, Distributed Systems Using the Theory of Constraints.
CADE 1980: 110-125 |