BibTeX record conf/acsd/AvellanedaM11

• > Home > conf/acsd/AvellanedaM11

@inproceedings{DBLP:conf/acsd/AvellanedaM11,
  author       = {Florent Avellaneda and
                  R{\'{e}}mi Morin},
  editor       = {Beno{\^{\i}}t Caillaud and
                  Josep Carmona and
                  Kunihiko Hiraishi},
  title        = {Checking Non-divergence, Channel-Bound and Global Cooperation Using
                  SAT-Solvers},
  booktitle    = {11th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011},
  pages        = {19--28},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ACSD.2011.31},
  doi          = {10.1109/ACSD.2011.31},
  timestamp    = {Fri, 24 Mar 2023 00:02:37 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/AvellanedaM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}