Comments on "Temporal logic-based deadlock analysis for Ada" by G.M. Karam and R.J.A. Burh | IEEE Journals & Magazine | IEEE Xplore