BibTeX record conf/memocode/BateniLWKLML23

• > Home > conf/memocode/BateniLWKLML23

@inproceedings{DBLP:conf/memocode/BateniLWKLML23,
  author       = {Soroush Bateni and
                  Marten Lohstroh and
                  Hou Seng Wong and
                  Hokeun Kim and
                  Shaokai Lin and
                  Christian Menard and
                  Edward A. Lee},
  editor       = {Reinhard von Hanxleden and
                  Stephen A. Edwards and
                  Jens Brandt and
                  Qi Zhu},
  title        = {Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical
                  Systems},
  booktitle    = {21st {ACM-IEEE} International Symposium on Formal Methods and Models
                  for System Design, {MEMOCODE} 2023, Hamburg, Germany, September 21-22,
                  2023},
  pages        = {1--11},
  publisher    = {{ACM} / {IEEE}},
  year         = {2023},
  url          = {https://ieeexplore.ieee.org/document/10316195},
  timestamp    = {Fri, 15 Dec 2023 12:01:04 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/BateniLWKLML23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}