BibTeX record conf/cdc/RajhansBLKPG11

• > Home > conf/cdc/RajhansBLKPG11

@inproceedings{DBLP:conf/cdc/RajhansBLKPG11,
  author       = {Akshay Rajhans and
                  Ajinkya Bhave and
                  Sarah M. Loos and
                  Bruce H. Krogh and
                  Andr{\'{e}} Platzer and
                  David Garlan},
  title        = {Using parameters in architectural views to support heterogeneous design
                  and verification},
  booktitle    = {50th {IEEE} Conference on Decision and Control and European Control
                  Conference, 11th European Control Conference, {CDC/ECC} 2011, Orlando,
                  FL, USA, December 12-15, 2011},
  pages        = {2705--2710},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/CDC.2011.6161408},
  doi          = {10.1109/CDC.2011.6161408},
  timestamp    = {Wed, 24 Feb 2021 08:49:08 +0100},
  biburl       = {https://dblp.org/rec/conf/cdc/RajhansBLKPG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}