Author:
Aminof Benjamin,Jacobs Swen,Khalimov Ayrat,Rubin Sasha
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Aminof, B., Jacobs, S., Khalimov, A., Rubin, S.: Parameterized Model Checking of Token-Passing Systems, pre-print on arxiv.org (2013)
2. Baier, C., Katoen, J.P., et al.: Principles of model checking, vol. 26202649. MIT Press, Cambridge (2008)
3. Bonatti, P.A., Lutz, C., Murano, A., Vardi, M.Y.: The complexity of enriched μ- calculi. In: Logical Methods in Computer Science (LMCS 2008), vol. 4(3:11), pp. 1–27 (2008)
4. Browne, M.C., Clarke, E.M., Grumberg, O.: Reasoning about networks with many identical finite state processes. Inf. Comput. 81, 13–31 (1989)
5. Lecture Notes in Computer Science;E. Clarke,2004
Cited by
32 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献