Simulation for lattice-valued doubly labeled transition systems

Haiyu Pan, Yongzhi Cao, Min Zhang 0007, Yixiang Chen. Simulation for lattice-valued doubly labeled transition systems. Int. J. Approx. Reasoning, 55(3):797-811, 2014. [doi]

@article{PanC0C14,
  title = {Simulation for lattice-valued doubly labeled transition systems},
  author = {Haiyu Pan and Yongzhi Cao and Min Zhang 0007 and Yixiang Chen},
  year = {2014},
  doi = {10.1016/j.ijar.2013.11.009},
  url = {http://dx.doi.org/10.1016/j.ijar.2013.11.009},
  researchr = {https://researchr.org/publication/PanC0C14},
  cites = {0},
  citedby = {0},
  journal = {Int. J. Approx. Reasoning},
  volume = {55},
  number = {3},
  pages = {797-811},
}