Verify LTL with Fairness Assumptions Efficiently.

Yong Li Lei Song Yuan Feng Lijun Zhang

Published in: CoRR (2016)

Keyphrases

data mining
neural network
information systems
social networks
website
resource allocation