Javier Esparza

2005

Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, and Jan Strejček:
Reachability Analysis of Multithreaded Software with Asynchronous Communication,
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings, Springer Berlin Heidelberg, 2005, 348–359. [bibtex, url]