Lattice-valued simulations for quantitative transition systems.
https://doi.org/10.1016/j.ijar.2014.10.001
@article{DBLP:journals/ijar/PanLC15,
author = {Haiyu Pan and
Yongming Li and
Yongzhi Cao},
title = {Lattice-valued simulations for quantitative transition systems},
journal = {Int. J. Approx. Reason.},
volume = {56},
pages = {28--42},
year = {2015},
url = {https://doi.org/10.1016/j.ijar.2014.10.001},
doi = {10.1016/j.ijar.2014.10.001},
timestamp = {Fri, 21 Feb 2020 13:12:35 +0100},
biburl = {https://dblp.org/rec/journals/ijar/PanLC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签