An Automata-Theoretic Approach for Model Checking Threads for LTL Propert.

Vineet Kahlon, Aarti Gupta

Browse the full LICS paper archive.