BibTeX record journals/tcs/PolyvyanyySW18

download as .bib file

@article{DBLP:journals/tcs/PolyvyanyySW18,
  author    = {Artem Polyvyanyy and
               Jan S{\"{u}}rmeli and
               Matthias Weidlich},
  title     = {Interleaving isotactics - An equivalence notion on behaviour abstractions},
  journal   = {Theor. Comput. Sci.},
  volume    = {737},
  pages     = {1--18},
  year      = {2018}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics