Hai-Feng Guo, Miao Liu, Partha S. Roop, C. R. Ramakrishnan, I. V. Ramakrishnan. Precise specification matching for adaptive reuse in embedded systems. J. Applied Logic, 5(2):333-355, 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.