Author:
Ditter Alexander,Češka Milan,Lüttgen Gerald
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Andersen, H.R.: Model Checking and Boolean Graphs. Theoret. Comp. Sc. 126(1), 3–30 (1994)
2. Andrews, G.R.: Foundations of Multithreaded, Parallel, and Distributed Programming. Addison-Wesley (2000)
3. Barnat, J., Bauch, P., Brim, L., Češka, M.: Computing Strongly Connected Components in Parallel on CUDA. In: IPDPS, pp. 544–555. IEEE (2011)
4. Barnat, J., Bauch, P., Brim, L., Češka, M.: Designing Fast LTL Model Checking Algorithms for Many-Core GPUs. To app. in J. of Par. and Distrib. Comp. (2012)
5. Lecture Notes in Computer Science;J. Barnat,2007
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The role of model checking in software engineering;Frontiers of Computer Science;2018-04-27
2. Concurrent circular reference attribute grammars;Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering;2017-10-23
3. Model Checking with Multi-threaded IC3 Portfolios;Lecture Notes in Computer Science;2015-12-25