| Tomohiro MURATA
|
|
|
|
|
FOREWORD Tomohiro MURATA | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1995/11/25
Vol. E78-A
No. 11
pp. 1445-1446
Type of Manuscript:
FOREWORD Category: Keyword:
| | Summary | Full Text:PDF(119.6KB) | |
|
|
|
|
|
Verification of Error Recovery Specification for Distributed Data by Using Colored Petri Nets Masaharu AKATSU Tomohiro MURATA Kenzo KURIHARA | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1991/10/25
Vol. E74-A
No. 10
pp. 3159-3167
Type of Manuscript:
Special Section PAPER (Special Issue on Petri Nets and Discrete Event Systems) Category: Keyword:
| | Summary | Full Text:PDF(634.7KB) | |
|
|