undefined

< Tillbaka till sökresultaten

Hardware Model Checking Competition 2017

Publiceringsår

2017

Upphovspersoner

Biere, Armin; van Dijk, Tom; Heljanko, Keijo

Organisationer och upphovspersoner

Aalto-universitetet

Heljanko Keijo

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Konferens

Artikelstyp

Annan artikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

Inte kollegialt utvärderad

UKM:s publikationstyp

B3 Icke-referentgranskad artikel i konferenspublikation

Publikationskanalens uppgifter

Moderpublikationens namn

Proceedings of 2017 Formal Methods in Computer Aided Design, FMCAD 2017

Konferens

INTERNATIONAL CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN

Förläggare

IEEE

Sidor

9

ISBN

978-0-9835678-7-5

Öppen tillgång

Öppen tillgänglighet i förläggarens tjänst

Nej

Parallellsparad

Nej

Övriga uppgifter

Vetenskapsområden

Data- och informationsvetenskap

Nyckelord

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Ja

Sampublikation med ett företag

Nej

DOI

10.23919/FMCAD.2017.8102233

Publikationen ingår i undervisnings- och kulturministeriets datainsamling

Ja