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

    Brekling, A. W., Hansen, M. R., & Madsen, J. (2007). Hardware modelling language and verification of design properties. In NWPT'07/FLACOS'07 (pp. 49-51). Institute for Informatics, Univ. of Olso.