BibTeX record conf/allerton/RamosPARK13

download as .bib file

@inproceedings{DBLP:conf/allerton/RamosPARK13,
  author       = {Guilherme Ramos and
                  S{\'{e}}rgio Daniel Pequito and
                  A. Pedro Aguiar and
                  Jaime Ramos and
                  Soummya Kar},
  title        = {A model checking framework for linear time invariant switching systems
                  using structural systems analysis},
  booktitle    = {51st Annual Allerton Conference on Communication, Control, and Computing,
                  Allerton 2013, Allerton Park {\&} Retreat Center, Monticello,
                  IL, USA, October 2-4, 2013},
  pages        = {973--980},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/Allerton.2013.6736631},
  doi          = {10.1109/ALLERTON.2013.6736631},
  timestamp    = {Tue, 21 Mar 2023 20:56:19 +0100},
  biburl       = {https://dblp.org/rec/conf/allerton/RamosPARK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics