Constraint-based platform variants specification for early system verification
- Resource type
- Conference
- Author(s)
- Burger, Andreas and Viehl, Alexander and Braun, Andreas and Haedicke, Finn and Grose, Daniel and Bringmann, Oliver and Rosenstiel, Wolfgang
- Year
- 2014
- Pages
- 800--805
- Book title
- Design Automation Conference (ASP-DAC), 2014 19th Asia and South Pacific
- Organization
- IEEE
- Download .bib
- Download .bib
- Published by
- Alexander Viehl