Publisher
Open Publishing Association
Reference76 articles.
1. The input/output complexity of sorting and related problems;A. Aggarwal;Communications of the ACM,1988
2. Parallel Graph Generation Algorithms for Shared and Distributed Memory Machines;S. Allmaier,1997
3. Time-Efficient Model Checking with Magnetic Disk;Tonglaga Bao,2005
4. Employing Multiple CUDA Devices to Accelerate LTL Model Checking;J. Barnat,2010
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Quo Vadis Explicit-State Model Checking;Lecture Notes in Computer Science;2015
2. Model Checking of Biological Systems;Lecture Notes in Computer Science;2013