Huili Xing. The Extension of Bisimulation Quantified Modal Logic Based on Covariant-Contravariant Refinement. IEEE Access, 7:160248-160262, 2019. [doi]
@article{Xing19a, title = {The Extension of Bisimulation Quantified Modal Logic Based on Covariant-Contravariant Refinement}, author = {Huili Xing}, year = {2019}, doi = {10.1109/ACCESS.2019.2950271}, url = {https://doi.org/10.1109/ACCESS.2019.2950271}, researchr = {https://researchr.org/publication/Xing19a}, cites = {0}, citedby = {0}, journal = {IEEE Access}, volume = {7}, pages = {160248-160262}, }