author = { Cellary, Wojciech },

title = { A new safety test for deadlock avoidance },

publisher = {Elsevier BV},

isbn = {0020-0190},

keywords = { Computer Science Applications , Information Systems , Signal Processing , Theoretical Computer Science },

year = {1979},

url = { http://slubdd.de/katalog?TN_libero_mab2 }