Reachability analysis of multithreaded software with asynchronous communication (2005)

by Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Jan Strejček
Venue:In Proceedings of FSTTCS, LNCS 3821