BibTeX record conf/ftscs/MethniLHHB14

download as .bib file

@inproceedings{DBLP:conf/ftscs/MethniLHHB14,
  author       = {Amira Methni and
                  Matthieu Lemerre and
                  Belgacem Ben Hedia and
                  Serge Haddad and
                  Kamel Barkaoui},
  editor       = {Cyrille Artho and
                  Peter Csaba {\"{O}}lveczky},
  title        = {Specifying and Verifying Concurrent {C} Programs with {TLA+}},
  booktitle    = {Formal Techniques for Safety-Critical Systems - Third International
                  Workshop, {FTSCS} 2014, Luxembourg, November 6-7, 2014. Revised Selected
                  Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {476},
  pages        = {206--222},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-17581-2\_14},
  doi          = {10.1007/978-3-319-17581-2\_14},
  timestamp    = {Tue, 21 Mar 2023 21:02:02 +0100},
  biburl       = {https://dblp.org/rec/conf/ftscs/MethniLHHB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics