TY -
BOOK
AU - Ramalingam, Ganesan
TI -
Context sensitive synchronization sensitive analysis is undecidable
PB - IBM
PY - 1999
BT - Research report ; RC / International Business Machines Corporation, Thomas J. Watson Research Center ; 21493
CY - Almaden
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -