An efficient verification method for application in transformational design

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

    Original languageEnglish
    Title of host publicationProc. 21st EUROMICRO Conference "Design of Hardware/Software Systems"
    Place of PublicationLos Alamito, CA
    PublisherIEEE Computer Society
    Pages118-129
    ISBN (Print)0-8186-7127-0
    Publication statusPublished - 1995
    Event21st EUROMICRO Conference "Design of Hardware/Software Systems", September 4, 1995, Como, Italy - Como, Italy
    Duration: 4 Sep 1995 → …

    Conference

    Conference21st EUROMICRO Conference "Design of Hardware/Software Systems", September 4, 1995, Como, Italy
    CountryItaly
    CityComo
    Period4/09/95 → …

    Cite this