![]() | ![]() |
1986 | ||
---|---|---|
1 | Ichiro Suzuki, Y. Motohashi, Kenichi Taniguchi, Tadao Kasami, Tatsuaki Okamoto: Specification and Verification of Decentralized Daisy Chain Arbiters with omega-Extended Regular Expressions. Theor. Comput. Sci. 43: 277-291 (1986) |
1 | Tadao Kasami | [1] |
2 | Tatsuaki Okamoto | [1] |
3 | Ichiro Suzuki | [1] |
4 | Kenichi Taniguchi | [1] |