@inproceedings{BaudartBourkePouzet-FMCAD-2016,
  author = {Guillaume Baudart and Timothy Bourke and Marc Pouzet},
  title = {{Soundness of the Quasi-Synchronous Abstraction}},
  booktitle = {International Conference on Formal Methods in Computer-Aided Design (FMCAD'16)},
  year = 2016,
  month = oct,
  address = {Mountain View, USA},
}