BibTeX record conf/fm/ZiatMPMT19

• > Home > conf/fm/ZiatMPMT19

@inproceedings{DBLP:conf/fm/ZiatMPMT19,
  author       = {Ghiles Ziat and
                  Alexandre Mar{\'{e}}chal and
                  Marie Pelleau and
                  Antoine Min{\'{e}} and
                  Charlotte Truchet},
  editor       = {Emil Sekerinski and
                  Nelma Moreira and
                  Jos{\'{e}} N. Oliveira and
                  Daniel Ratiu and
                  Riccardo Guidotti and
                  Marie Farrell and
                  Matt Luckcuck and
                  Diego Marmsoler and
                  Jos{\'{e}} Creissac Campos and
                  Troy Astarte and
                  Laure Gonnord and
                  Antonio Cerone and
                  Luis Couto and
                  Brijesh Dongol and
                  Martin Kutrib and
                  Pedro Monteiro and
                  David Delmas},
  title        = {Combination of Boxes and Polyhedra Abstractions for Constraint Solving},
  booktitle    = {Formal Methods. {FM} 2019 International Workshops - Porto, Portugal,
                  October 7-11, 2019, Revised Selected Papers, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12233},
  pages        = {119--135},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-54997-8\_8},
  doi          = {10.1007/978-3-030-54997-8\_8},
  timestamp    = {Mon, 05 Feb 2024 20:31:40 +0100},
  biburl       = {https://dblp.org/rec/conf/fm/ZiatMPMT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}