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

Kenji Shibata, Yutaka Hirakawa, Toyofumi Takenaka

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	85-93
Journal	Proceedings of Joint Workshop on Computer Commun, JWCC90
Publication status	Published - 1990 Jul 1

Cite this

@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",

}