Behaviour-preserving transformations in SHE: a formal approach to architecture design

J.P.M. Voeten, P.H.A. Putten, van der, M.P.J. Stevens

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageEnglish
    Title of host publicationProc. 22nd EUROMICRO Conference "Beyond 2000: Hardware/Software Design Strategies"
    Place of PublicationLos Alamitos, CA
    PublisherIEEE Computer Society
    Pages19-27
    ISBN (Print)0-8186-7487-3
    Publication statusPublished - 1996
    Event22nd EUROMICRO Conference "Beyond 2000: Hardware/Software Design Strategies" -
    Duration: 1 Jan 1996 → …

    Conference

    Conference22nd EUROMICRO Conference "Beyond 2000: Hardware/Software Design Strategies"
    Period1/01/96 → …

    Cite this