Exploratory Analysis of the Performance of a Configurable CEGAR Framework

Thumbnail
View/Open
Metadata
Show full item record
Link to refer to this document:
http://hdl.handle.net/10890/15209
Collections
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