%0 Journal Article %1 journals/corr/abs-1212-2154 %A Li, Yongming %A Lei, Lihui %D 2012 %J CoRR %K dblp %T Model-Checking of Linear-Time Properties in Multi-Valued Systems %U http://dblp.uni-trier.de/db/journals/corr/corr1212.html#abs-1212-2154 %V abs/1212.2154

@article{journals/corr/abs-1212-2154, added-at = {2018-08-24T00:00:00.000+0200}, author = {Li, Yongming and Lei, Lihui}, biburl = {https://www.bibsonomy.org/bibtex/20f53c75bfabecc7a73999a734d3a5ebd/dblp}, ee = {http://arxiv.org/abs/1212.2154}, interhash = {2be32eb457717e0232176589dd093ca1}, intrahash = {0f53c75bfabecc7a73999a734d3a5ebd}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-25T11:37:45.000+0200}, title = {Model-Checking of Linear-Time Properties in Multi-Valued Systems}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1212.html#abs-1212-2154}, volume = {abs/1212.2154}, year = 2012 }