Reduction of behavioral equivalence to inductive theorems

Thumbnail
View/Open
Palasí Lallana, Vicent Ramon
Document typeResearch report
Defense date1996-01
Rights accessOpen Access
All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder
Abstract
CitationPalasi, V. "Reduction of behavioral equivalence to inductive theorems". 1996. 
Is part ofLSI-94-10-R
URIhttp://hdl.handle.net/2117/97229
Collections

    FilesDescriptionSizeFormatView
    1400244616.pdf2,944MbPDFView/Open