Year: 2015
Type: conference-paper
Authors: Alex Horn, Daniel Kroening
Institution: University of Oxford
Language: English
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
Funder: Intel Corporation
OpenAlex ID: W1898066328