Covariant-Contravariant Refinement Modal Logic - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Huili Xing, Zhaohui Zhu, Jinjin Zhang. Covariant-Contravariant Refinement Modal Logic. FLAP, 6(1):1-30, 2019. [doi]

@article{XingZZ19,
  title = {Covariant-Contravariant Refinement Modal Logic},
  author = {Huili Xing and Zhaohui Zhu and Jinjin Zhang},
  year = {2019},
  url = {https://collegepublications.co.uk/ifcolog/?00030},
  researchr = {https://researchr.org/publication/XingZZ19},
  cites = {0},
  citedby = {0},
  journal = {FLAP},
  volume = {6},
  number = {1},
  pages = {1-30},
}

runs on WebDSL