"An Ada Deadlock Testing Algorithm Based on Control and Communication Flow ..."

Anneliese von Mayrhauser, Shao-Ming Simon Hsueh (1992)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics