An Introduction to the Theory of Computation
An Introduction to the Theory of Computation
Algebraic Automata Theory
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Integrating Behavior and Timing in Executable Specifications
CHDL '93 Proceedings of the 11th IFIP WG10.2 International Conference sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC on Computer Hardware Description Languages and their Applications
Specification Languages for Communication Protocols
CHDL '93 Proceedings of the 11th IFIP WG10.2 International Conference sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC on Computer Hardware Description Languages and their Applications
A new interface specification methodology and its application to transducer synthesis
A new interface specification methodology and its application to transducer synthesis
Hi-index | 0.00 |