BibTeX record conf/cascon/BerzishKZGR16

• > Home > conf/cascon/BerzishKZGR16

@inproceedings{DBLP:conf/cascon/BerzishKZGR16,
  author       = {Murphy Berzish and
                  Asif Khan and
                  Atulan Zaman and
                  Vijay Ganesh and
                  Derek Rayside},
  editor       = {Marcellus Mindel and
                  Blake Jones and
                  Hausi A. M{\"{u}}ller and
                  Vio Onut},
  title        = {Manifold: an SMT-based declarative language for electronic and microfluidic
                  design synthesis},
  booktitle    = {Proceedings of the 26th Annual International Conference on Computer
                  Science and Software Engineering, {CASCON} 2016, Toronto, Ontario,
                  Canada, October 31 - November 2, 2016},
  pages        = {188--193},
  publisher    = {{IBM} / {ACM}},
  year         = {2016},
  url          = {http://dl.acm.org/citation.cfm?id=3049896},
  timestamp    = {Thu, 02 Mar 2017 08:13:51 +0100},
  biburl       = {https://dblp.org/rec/conf/cascon/BerzishKZGR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}