@Inproceedings{EPTCS233.9,
  author    = {Charv\'at, Luk\'a\v{s} and Smr\v{c}ka, Ale\v{s} and Vojnar, Tom\'a\v{s}},
  year      = {2016},
  title     = {HADES: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems},
  editor    = {Bouda, Jan and Hol\'ik, Luk\'a\v{s} and Kofro\v{n}, Jan and Strej\v{c}ek, Jan and Rambousek, Adam},
  booktitle = {{\rm Proceedings 11th Doctoral Workshop on}
               Mathematical and Engineering Methods in Computer Science,
               {\rm Tel\v{c}, Czech Republic, 21st-23rd October 2016}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {233},
  publisher = {Open Publishing Association},
  pages     = {87-93},
  doi       = {10.4204/EPTCS.233.9},
}