1 book • 1 series
Integrating Functional and Temporal Domains in Logic Design (The Springer International Series in Engineering and Computer Science, #139)