Author:
Bollig Benedikt,Leucker Martin,Weber Michael
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. H. R. Andersen. Model checking and Boolean graphs. Theoretical Computer Science, 126(1):3–30, 11 Apr. 1994.
2. S. Basonov. Parallel implementation of BDD on DSM systems. Master’s thesis, Computer Science Department, Technion, 1998.
3. Lect Notes Comput Sci;S. Blom,2001
4. B. Bollig, M. Leucker, and M. Weber. Local parallel model checking for the alternation free μ-calculus. Technical Report AIB-04-2001, RWTH Aachen, 03/2001.
5. Lect Notes Comput Sci;B. Bollig,2001
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献