Exploratory Analysis of the Performance of a Configurable CEGAR Framework

Title: Exploratory Analysis of the Performance of a Configurable CEGAR Framework
Author: Hajdu, Ákos; Micskei, Zoltán
Date of issue: 2017
Access level: Open access
Copyright owner: Budapest University of Technology and Economics
Conference title: 24th PhD Mini-Symposium (Minisy@DMIS 2017)
Conference place: Budapest
Conference date: January 30-31, 2017
Language: en
Page: 34 - 36
Version: Post print
Title of the container document: Proceedings of the 24th PhD Mini-Symposium
ISBN, e-ISBN: ISBN 978-963-313-243-2
Document type: könyvfejezet
Document genre: Konferenciacikk
University: Budapest University of Technology and Economics
Department: Department of Measurement and Information Systems