Reverse Reachability Analysis a New Technique for Deadlock Detection on Communicating Finite State Machines.
Journal
Softw., Pract. Exper.
Journal Volume
23
Journal Issue
9
Pages
965-979
Date Issued
1993
Author(s)
Hung, Yung-Chen
Type
journal article