%0 Conference Paper %1 conf/ssiri/PanZC12 %A Pan, Haiyu %A Zhang, Min %A Chen, Yixiang %B SERE (Companion) %D 2012 %I IEEE %K dblp %P 137-143 %T Lattice-Valued Kripke Structures Based on Complete Residuated Lattice. %U http://dblp.uni-trier.de/db/conf/ssiri/sere2012c.html#PanZC12 %@ 978-0-7695-4743-5

@inproceedings{conf/ssiri/PanZC12, added-at = {2017-05-21T00:00:00.000+0200}, author = {Pan, Haiyu and Zhang, Min and Chen, Yixiang}, biburl = {https://www.bibsonomy.org/bibtex/2b8416e359bbef11ba9bdb4b602df4e42/dblp}, booktitle = {SERE (Companion)}, crossref = {conf/ssiri/2012c}, ee = {https://doi.org/10.1109/SERE-C.2012.29}, interhash = {a1b2c1a0a19f03c367cb227508c6f695}, intrahash = {b8416e359bbef11ba9bdb4b602df4e42}, isbn = {978-0-7695-4743-5}, keywords = {dblp}, pages = {137-143}, publisher = {IEEE}, timestamp = {2019-10-17T18:48:09.000+0200}, title = {Lattice-Valued Kripke Structures Based on Complete Residuated Lattice.}, url = {http://dblp.uni-trier.de/db/conf/ssiri/sere2012c.html#PanZC12}, year = 2012 }