Summary
This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.
Authors: Jordan, Herbert; Scholz, Bernhard; Subotić, Pavle
Journal title: International Conference on Computer Aided Verification, CAV 2016
Journal number: 2
Journal publisher: Springer LNCS
Published year: 2016
DOI identifier: 10.1007/978-3-319-41540-6_23
Search
Organisations
- Not specified