Publication
(All)

Results 1-1 of 1 (Search time: 0.028 seconds).

Issue DateTitleAuthor(s)SourcescopusWOSFulltext/Archive link
11993Reverse Reachability Analysis:a New Technique for Deadlock Detection on Communicating Finite State MachinesHung, Y. C.; 陳健輝 ; Chen, Gen-Huey Software-Practice & Experience