×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents of akos-hajdu
New Search Strategies for the Petri Net CEGAR Approach
362 views
A Configurable CEGAR Framework with Interpolation-Based Refinements
139 views
Exploratory Analysis of the Performance of a Configurable CEGAR Framework
103 views