Kenneth J. Turner;Richard O. Sinnott
-;-
Time aware modelling and analysis of multiclocked VLSI systems
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering