@misc{indiciaea94136fa94c0,
  title = {Model-Checking of Linear-Time Properties Based on Possibility Measure},
  author = {Yongming Li and Lijun Li},
  year = {2016},
  url = {https://arxiv.org/abs/1203.2241},
  note = {Source identifier: 1203.2241}
}