Search dblp for Publications

export results for "Covariant-Contravariant Refinement Modal Logic."

> Home > Search

download as .bib file

@article{DBLP:journals/access/Xing19,
  author       = {Huili Xing},
  title        = {Refinement Modal Logic Based on Finite Approximation of Covariant-Contravariant
                  Refinement},
  journal      = {{IEEE} Access},
  volume       = {7},
  pages        = {28929--28939},
  year         = {2019},
  url          = {https://doi.org/10.1109/ACCESS.2019.2895078},
  doi          = {10.1109/ACCESS.2019.2895078},
  timestamp    = {Fri, 12 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/access/Xing19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/access/Xing19a,
  author       = {Huili Xing},
  title        = {The Extension of Bisimulation Quantified Modal Logic Based on Covariant-Contravariant
                  Refinement},
  journal      = {{IEEE} Access},
  volume       = {7},
  pages        = {160248--160262},
  year         = {2019},
  url          = {https://doi.org/10.1109/ACCESS.2019.2950271},
  doi          = {10.1109/ACCESS.2019.2950271},
  timestamp    = {Tue, 26 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/access/Xing19a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/XingZZ19,
  author       = {Huili Xing and
                  Zhaohui Zhu and
                  Jinjin Zhang},
  title        = {Covariant-Contravariant Refinement Modal Logic},
  journal      = {{FLAP}},
  volume       = {6},
  number       = {1},
  pages        = {1--30},
  year         = {2019},
  url          = {https://collegepublications.co.uk/ifcolog/?00030},
  timestamp    = {Fri, 29 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/XingZZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.