dblp.uni-trier.dewww.uni-trier.de

Frederick C. Furtek

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Eugene Hogenauer [3]
2James Scheuermann [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)