| Document Date: 2015-01-31 16:37:01 Open Document File Size: 451,35 KBShare Result on Facebook
Country Switzerland / / Facility Additive Cartesian Abstraction Heuristics Jendrik Seipp Malte Helmert University of Basel / / IndustryTerm abstract solution / concrete solution / / Organization Cartesian Abstraction Heuristics Jendrik Seipp Malte Helmert University of Basel / / Person Malte Helmert / / Technology CEGAR algorithm / /
SocialTag |