Parameterized Synthesis Case Study: AMBA AHB (bibtex)
by Roderick Bloem, Swen Jacobs, Ayrat Khalimov
Reference:
Parameterized Synthesis Case Study: AMBA AHBRoderick Bloem, Swen Jacobs, Ayrat KhalimovProceedings 3rd Workshop on Synthesis, SYNT 2014, Vienna, Austria, July 23-24, 2014., pages 68-83, 2014.
Bibtex Entry:
@inproceedings{DBLP:journals/corr/BloemJK14a,
  author    = {Roderick Bloem and
               Swen Jacobs and
               Ayrat Khalimov},
  title     = {Parameterized Synthesis Case Study: {AMBA} {AHB}},
  booktitle = {Proceedings 3rd Workshop on Synthesis, {SYNT} 2014, Vienna, Austria,
               July 23-24, 2014.},
  year      = {2014},
  pages     = {68--83},
  url       = {http://dx.doi.org/10.4204/EPTCS.157.9},
  doi       = {10.4204/EPTCS.157.9},
}
Powered by bibtexbrowser