مؤتمر
Verification of error recovery specification for distributed data by using colored Petri net
| العنوان: | Verification of error recovery specification for distributed data by using colored Petri net |
|---|---|
| المؤلفون: | Akatsu, M., Murata, T., Kurihara, K. |
| المصدر: | 1991 IEEE International Symposium on Circuits and Systems (ISCAS) Circuits and Systems (ISCAS), 1991 IEEE International Symposium on. :930-933 vol.2 1991 |
| Relation: | 1991 IEEE International Symposium on Circuits and Systems (ISCAS) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 0780300505 9780780300507 |
|---|---|
| DOI: | 10.1109/ISCAS.1991.176516 |