BibTeX record conf/ictcs/MiculanP16

download as .bib file

@inproceedings{DBLP:conf/ictcs/MiculanP16,
  author    = {Marino Miculan and
               Marco Peressotti},
  editor    = {Vittorio Bil{\`{o}} and
               Antonio Caruso},
  title     = {On the Bisimulation Hierarchy of State-to-Function Transition Systems},
  booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
               Science, Lecce, Italy, September 7-9, 2016},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1720},
  pages     = {88--102},
  publisher = {CEUR-WS.org},
  year      = {2016},
  url       = {http://ceur-ws.org/Vol-1720/full7.pdf},
  timestamp = {Wed, 12 Feb 2020 16:44:17 +0100},
  biburl    = {https://dblp.org/rec/conf/ictcs/MiculanP16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics