BibTeX record conf/seke/ArnaudBLG21

download as .bib file

@inproceedings{DBLP:conf/seke/ArnaudBLG21,
  author       = {Mathilde Arnaud and
                  Boutheina Bannour and
                  Arnault Lapitre and
                  Guillaume Giraud},
  editor       = {Shi{-}Kuo Chang},
  title        = {Investigating Process Algebra Models to Represent Structured Requirements
                  for Time-sensitive {CPS}},
  booktitle    = {The 33rd International Conference on Software Engineering and Knowledge
                  Engineering, {SEKE} 2021, {KSIR} Virtual Conference Center, USA, July
                  1 - July 10, 2021},
  pages        = {291--296},
  publisher    = {{KSI} Research Inc.},
  year         = {2021},
  url          = {https://doi.org/10.18293/SEKE2021-147},
  doi          = {10.18293/SEKE2021-147},
  timestamp    = {Sat, 02 Sep 2023 13:09:49 +0200},
  biburl       = {https://dblp.org/rec/conf/seke/ArnaudBLG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics