Simulation for lattice-valued doubly labeled transition systems.
https://doi.org/10.1016/j.ijar.2013.11.009
@article{DBLP:journals/ijar/PanC0C14,
author = {Haiyu Pan and
Yongzhi Cao and
Min Zhang and
Yixiang Chen},
title = {Simulation for lattice-valued doubly labeled transition systems},
journal = {Int. J. Approx. Reason.},
volume = {55},
number = {3},
pages = {797--811},
year = {2014},
url = {https://doi.org/10.1016/j.ijar.2013.11.009},
doi = {10.1016/j.ijar.2013.11.009},
timestamp = {Fri, 21 Feb 2020 13:12:34 +0100},
biburl = {https://dblp.org/rec/journals/ijar/PanC0C14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签