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

引用スタイル

@article{b6ec8f3c648b4428b482c2c1be65ef86,

title = "Reachability Analysis for a Behavior Description Independent of the Number of Processes",

author = "Kenji Shibata and Yutaka Hirakawa and Toyofumi Takenaka",

year = "1990",

month = jul,

day = "1",

language = "English",

pages = "85--93",

journal = "Proceedings of Joint Workshop on Computer Commun, JWCC90",

}