Addressing Unbounded Parallelism in Verification of Software Components.

Jir Admek

Browse the full SNPD paper archive.