Publisher
Springer Berlin Heidelberg
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Verification for Security-Relevant Properties and Hyperproperties;2015 IEEE 12th Intl Conf on Ubiquitous Intelligence and Computing and 2015 IEEE 12th Intl Conf on Autonomic and Trusted Computing and 2015 IEEE 15th Intl Conf on Scalable Computing and Communications and Its Associated Workshops (UIC-ATC-ScalCom);2015-08
2. Proving Liveness Property under Fairness Requirements;2012 19th Asia-Pacific Software Engineering Conference;2012-12
3. Proving Liveness Property under Strengthened Compassion Requirements;Lecture Notes in Computer Science;2012