%0
Book
%T
Context sensitive synchronization sensitive analysis is undecidable
%A
Ramalingam, Ganesan
%I
IBM
%D
1999
%C
IBM
%C
Almaden
%U
http://slubdd.de/katalog?TN_libero_mab2
Download citation