@inbook{BESS2005,
 address = {Berlin, Heidelberg},
 author = {Ahmed Bouajjani and Javier Esparza and Stefan Schwoon and Jan Strejček},
 booktitle = {FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings},
 doi = {10.1007/11590156_28},
 editor = {Sarukkai, Sundar
and Sen, Sandeep},
 isbn = {978-3-540-32419-5},
 pages = {348--359},
 publisher = {Springer Berlin Heidelberg},
 title = {Reachability Analysis of Multithreaded Software with Asynchronous Communication},
 url = {http://dx.doi.org/10.1007/11590156_28},
 year = {2005}
}