BibTeX record conf/fm/GluckKY19

download as .bib file

  author    = {Robert Gl{\"{u}}ck and
               Robin Kaarsgaard and
               Tetsuo Yokoyama},
  editor    = {Emil Sekerinski and
               Nelma Moreira and
               Jos{\'{e}} N. Oliveira and
               Daniel Ratiu and
               Riccardo Guidotti and
               Marie Farrell and
               Matt Luckcuck and
               Diego Marmsoler and
               Jos{\'{e}} Campos and
               Troy Astarte and
               Laure Gonnord and
               Antonio Cerone and
               Luis Couto and
               Brijesh Dongol and
               Martin Kutrib and
               Pedro Monteiro and
               David Delmas},
  title     = {Reversible Programs Have Reversible Semantics},
  booktitle = {Formal Methods. {FM} 2019 International Workshops - Porto, Portugal,
               October 7-11, 2019, Revised Selected Papers, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {12233},
  pages     = {413--427},
  publisher = {Springer},
  year      = {2019},
  url       = {\_26},
  doi       = {10.1007/978-3-030-54997-8\_26},
  timestamp = {Sun, 25 Jul 2021 11:52:30 +0200},
  biburl    = {},
  bibsource = {dblp computer science bibliography,}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics