Author:
Chatterjee Krishnendu,Henzinger Monika,Loitzenbauer Veronika,Oraee Simin,Toman Viktor
Publisher
Springer International Publishing
Reference35 articles.
1. Akers, S.B.: Binary decision diagrams. IEEE Trans. Comput. C–27(6), 509–516 (1978)
2. Alur, R., Henzinger, T.A.: Computer-aided verification (2004). http://www.cis.upenn.edu/group/cis673/
3. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
4. Barnat, J., Chaloupka, J., van de Pol, J.: Distributed algorithms for SCC decomposition. J. Log. Comput. 21(1), 23–44 (2011)
5. Bloem, R., Gabow, H.N., Somenzi, F.: An algorithm for strongly connected component analysis in $$n$$n log $$n$$n symbolic steps. Form. Methods Syst. Des. 28(1), 37–56 (2006)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献