@book
{TN_libero_mab2,
author = {
Ramalingam, Ganesan
},
title = {
Context sensitive synchronization sensitive analysis is undecidable
},
publisher = {IBM},
year = {1999},
booktitle = {Research report ; RC / International Business Machines Corporation, Thomas J. Watson Research Center ; 21493},
address = {
Almaden
},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}