Author:
Cranen Sjoerd,Keiren Jeroen J. A.,Willemse Tim A. C.
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49(5), 672–713 (2002)
2. Arnold, A., Vincent, A., Walukiewicz, I.: Games for synthesis of controllers with partial observation. TCS 303(1), 7–34 (2003)
3. Badban, B., Fokkink, W., Groote, J.F., Pang, J., van de Pol, J.: Verification of a sliding window protocol in μCRL and PVS. FAC 17, 342–388 (2005)
4. Lecture Notes in Computer Science;D. Berwanger,2006
5. Blom, S.C.C., Orzan, S.: Distributed branching bisimulation reduction of state spaces. Electronic Notes in Theoretical Computer Science 89(1), 99–113 (2003)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献