Műegyetemi Digitális Archivum
    • magyar
    • English
  • English 
    • magyar
    • English
  • Login
View Item 
  •   DSpace Home
  • 1. Tudományos közlemények, publikációk
  • Konferenciák gyűjteményei
  • BME MIT PhD Minisymposium, 2017, 24th (MINISY@DMIS 2017)
  • View Item
  •   DSpace Home
  • 1. Tudományos közlemények, publikációk
  • Konferenciák gyűjteményei
  • BME MIT PhD Minisymposium, 2017, 24th (MINISY@DMIS 2017)
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Exploratory Analysis of the Performance of a Configurable CEGAR Framework

Thumbnail
View/Open
Proceedings of the 24th PhD Mini-Symposium - 008 (313.5Kb)
Metadata
Show full item record
URI
http://hdl.handle.net/10890/15209
Collections
  • BME MIT PhD Minisymposium, 2017, 24th (MINISY@DMIS 2017) [21]
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

Content by
Theme by 
Atmire NV
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback

Content by
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV
 

 

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

Content by
Theme by 
Atmire NV
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback

Content by
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV