 | 2007 |
|---|
| 4 |       | Frederick C. Furtek:
A Theory and Calculus for Reasoning about Sequential Behavior
CoRR abs/cs/0701088: (2007) |
| 2004 |
|---|
| 3 | | 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 |
