Operational Semantics for Hardware Design Languages

Howard Barringer, Paolo Prinetto (Editor), Paolo Camurati (Editor)

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

    Original languageEnglish
    Title of host publicationCorrect Hardware Design Methodologies
    EditorsPaolo Prinetto, Paolo Camurati
    PublisherElsevier BV
    Pages313-334
    Number of pages22
    ISBN (Print)0 444 89367 9
    Publication statusPublished - 1992
    EventAdvanced Research Workshop on Correct Hardware Design Methodologies - Turin
    Duration: 12 Jun 199114 Jun 1991

    Conference

    ConferenceAdvanced Research Workshop on Correct Hardware Design Methodologies
    CityTurin
    Period12/06/9114/06/91

    Cite this