Reachability Analysis for a Behavior Description Independent of the Number of Processes

Kenji Shibata, Yutaka Hirakawa, Toyofumi Takenaka

研究成果: Article査読

本文言語English
ページ(範囲)85-93
ジャーナルProceedings of Joint Workshop on Computer Commun, JWCC90
出版ステータスPublished - 1990 7 1

引用スタイル