Hardware Model Checking Competition 2017
Julkaisuvuosi
2017
Tekijät
Biere, Armin; van Dijk, Tom; Heljanko, Keijo
Organisaatiot ja tekijät
Aalto-yliopisto
Heljanko Keijo
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli
Yleisö
TieteellinenVertaisarvioitu
Ei-vertaisarvioituOKM:n julkaisutyyppiluokitus
B3 Vertaisarvioimaton artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Emojulkaisun nimi
Proceedings of 2017 Formal Methods in Computer Aided Design, FMCAD 2017
Konferenssi
INTERNATIONAL CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN
Kustantaja
IEEE
Sivut
9
ISBN
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei
Rinnakkaistallennettu
Ei
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Avainsanat
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Kyllä
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.23919/FMCAD.2017.8102233
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä