Hardware model checking competition 2017
Year: 2017
Type: conference-paper
Authors: Armin Biere, Tom van Dijk, Keijo Heljanko
Institutions: Johannes Kepler University of Linz, Aalto University
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2768047339