BibTeX record conf/memocode/YuIS23a

• > Home > conf/memocode/YuIS23a

@inproceedings{DBLP:conf/memocode/YuIS23a,
  author       = {Sheng{-}Jung Yu and
                  Inigo Incer and
                  Alberto L. Sangiovanni{-}Vincentelli},
  editor       = {Reinhard von Hanxleden and
                  Stephen A. Edwards and
                  Jens Brandt and
                  Qi Zhu},
  title        = {Constraint-Behavior Contracts: {A} Formalism for Specifying 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        = {180--190},
  publisher    = {{ACM} / {IEEE}},
  year         = {2023},
  url          = {https://ieeexplore.ieee.org/document/10316201},
  timestamp    = {Fri, 15 Dec 2023 12:01:04 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/YuIS23a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}