undefined

< Back to search results

Hardware Model Checking Competition 2017

Year of publication

2017

Authors

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

Organizations and authors

Aalto University

Heljanko Keijo

Publication type

Publication format

Article

Parent publication type

Conference

Article type

Other article

Audience

Scientific

Peer-reviewed

Non Peer-Reviewed

MINEDU's publication type classification code

B3 Article in conference proceedings (non-peer-reviewed)

Publication channel information

Parent publication name

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

Conference

INTERNATIONAL CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN

Publisher

IEEE

Pages

9

ISBN

978-0-9835678-7-5

Open access

Open access in the publisher’s service

No

Self-archived

No

Other information

Fields of science

Computer and information sciences

Keywords

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

Internationality of the publisher

International

Language

English

International co-publication

Yes

Co-publication with a company

No

DOI

10.23919/FMCAD.2017.8102233

The publication is included in the Ministry of Education and Culture’s Publication data collection

Yes