BibTeX record journals/corr/abs-1305-6115

• > Home > journals/corr/abs-1305-6115

@inproceedings{DBLP:journals/corr/abs-1305-6115,
  author       = {Alexandre Madeira and
                  Manuel A. Martins and
                  Lu{\'{\i}}s Soares Barbosa},
  editor       = {John Derrick and
                  Eerke A. Boiten and
                  Steve Reeves},
  title        = {Bisimilarity and refinement for hybrid(ised) logics},
  booktitle    = {Proceedings 16th International Refinement Workshop, Refine@IFM 2013,
                  Turku, Finland, 11th June 2013},
  series       = {{EPTCS}},
  volume       = {115},
  pages        = {84--98},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.115.6},
  doi          = {10.4204/EPTCS.115.6},
  timestamp    = {Sun, 25 Jul 2021 11:39:08 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1305-6115.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}