Login / Signup
Anton Volkov
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
First Order Logic
Model Selection
Experimental Data
Statistical Models
Top Venues
TACAS (2)
</>
Publications
</>
Pavel S. Andrianov
,
Karlheinz Friedberger
,
Mikhail U. Mandrykin
,
Vadim S. Mutilin
,
Anton Volkov
CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions - (Competition Contribution).
TACAS (2)
(2017)