BibTeX record conf/pads/RedouKDART07

• > Home > conf/pads/RedouKDART07

@inproceedings{DBLP:conf/pads/RedouKDART07,
  author       = {Pascal Redou and
                  S{\'{e}}bastien Kerd{\'{e}}lo and
                  Gireg Desmeulles and
                  Jean Fran{\c{c}}ois Abgrall and
                  Vincent Rodin and
                  Jacques Tisseau},
  title        = {Formal Validation of Asynchronous Interaction-Agents Algorithms for
                  Reaction-Diffusion Problems},
  booktitle    = {21st International Workshop on Principles of Advanced and Distributed
                  Simulation, PADS'07, San Diego, California, USA, June 12-15, 2007},
  pages        = {93--104},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/PADS.2007.19},
  doi          = {10.1109/PADS.2007.19},
  timestamp    = {Fri, 24 Mar 2023 00:04:33 +0100},
  biburl       = {https://dblp.org/rec/conf/pads/RedouKDART07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}