BibTeX record conf/mpc/WagemakerBKR019

download as .bib file

@inproceedings{DBLP:conf/mpc/WagemakerBKR019,
  author    = {Jana Wagemaker and
               Marcello M. Bonsangue and
               Tobias Kapp{\'{e}} and
               Jurriaan Rot and
               Alexandra Silva},
  title     = {Completeness and Incompleteness of Synchronous Kleene Algebra},
  booktitle = {{MPC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {11825},
  pages     = {385--413},
  publisher = {Springer},
  year      = {2019}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics