Login / Signup

Frequent-Pattern-Guided Multilevel Decomposition of Behavioral Specifications.

María C. MolinaRafael Ruiz-SautuaPedro Garcia-RepettoRomán Hermida
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2009)
Keyphrases