BibTeX record conf/safecomp/CaspiMSW99

download as .bib file

@inproceedings{DBLP:conf/safecomp/CaspiMSW99,
  author       = {Paul Caspi and
                  Christine Mazuet and
                  Rym Salem and
                  Daniel Weber},
  editor       = {Massimo Felici and
                  Karama Kanoun and
                  Alberto Pasquini},
  title        = {Formal Design of Distributed Control Systems with Lustre},
  booktitle    = {Computer Safety, Reliability and Security, 18th International Conference,
                  SAFECOMP'99, Toulouse, France, September, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1698},
  pages        = {396--409},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48249-0\_34},
  doi          = {10.1007/3-540-48249-0\_34},
  timestamp    = {Mon, 30 Jan 2023 17:16:13 +0100},
  biburl       = {https://dblp.org/rec/conf/safecomp/CaspiMSW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.