Media type: Book Title: Context sensitive synchronization sensitive analysis is undecidable Contributor: Ramalingam, Ganesan [Author] imprint: Almaden; Zurich [u.a.]: IBM, 1999 Published in: Thomas J. Watson Research Center: Research report / RC ; 21493 Extent: 10 S. Language: English RVK notation: SS 5104 : Research Report (IBM): RC Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: 1999 4 029034 001 Item ID: 30443816 Status: Place order for use in library, interlibrary loan possible > Ordering possible ‒ please log in