Ahmed Bouajjani, Javier Esparza, Tayssir Touili. A Generic Approach to the Static Analysis of Concurrent Programs with Procedures. Int. J. Found. Comput. Sci., 14(4):551, 2003. [doi]
No references recorded for this publication.
No citations of this publication recorded.