Hardware modelling language and verification of design properties

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationNWPT'07/FLACOS'07
    PublisherInstitute for Informatics, Univ. of Olso
    Publication date2007
    Pages49-51
    Publication statusPublished - 2007
    EventNordic Workshop on Programming Theory 2007 - Olso
    Duration: 1 Jan 2007 → …

    Conference

    ConferenceNordic Workshop on Programming Theory 2007
    CityOlso
    Period01/01/2007 → …

    Cite this