Constraint-based platform variants specification for early system verification (bibtex)

Reference:

, "Constraint-based platform variants specification for early system verification", In ASP Design Automation Conference, pp. 800–805, 2014.

Bibtex Entry:

@inproceedings{BVB+:2014,
  author    = {Andreas Burger and
               Alexander Viehl and
               Andreas Braun and
               Finn Haedicke and
               Daniel Gro{\ss}e and
               Oliver Bringmann and
               Wolfgang Rosenstiel},
  pi        = {Daniel Gro{\ss}e},
  title     = {Constraint-based platform variants specification for early system
               verification},
  booktitle = {ASP Design Automation Conference},
  pages     = {800--805},
  pdffile = {../pipubs/subprojects/P04/Grosse_Early_Verification_2014.pdf},
  year      = {2014}
}