Author:
Liu Yang,Sun Jun,Dong Jin Song
Publisher
Springer Berlin Heidelberg
Reference33 articles.
1. Lecture Notes in Computer Science;D. Angluin,2006
2. Lecture Notes in Computer Science;J. Barnat,2007
3. Barnat, J., Chaloupka, J., Van De Pol, J.: Distributed Algorithms for SCC Decomposition. Journal of Logic and Computation (to appear, 2009)
4. Barnat, J., Chaloupka, J., van de Pol, J.: Improved Distributed Algorithms for SCC Decomposition. ENTCS 198(1), 63–77 (2008)
5. Lecture Notes in Computer Science;J. Barnat,2007
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Model checking with generalized Rabin and Fin-less automata;International Journal on Software Tools for Technology Transfer;2019-02-25
2. Generic Emptiness Check for Fun and Profit;Automated Technology for Verification and Analysis;2019
3. Explicit state model checking with generalized Büchi and Rabin automata;Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software;2017-07-13
4. Multi-core on-the-fly SCC decomposition;ACM SIGPLAN Notices;2016-11-09
5. Multi-core on-the-fly SCC decomposition;Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming;2016-02-27