| |
| 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] |