التفاصيل البيبلوغرافية
| العنوان: |
Transformation of time Petri net into Promela |
| المؤلفون: |
Chaichompoo, Onsuthee, Thongtak, Arthit, Vatanawood, Wiwat |
| المصدر: |
2017 11th International Conference on Telecommunication Systems Services and Applications (TSSA) Telecommunication Systems Services and Applications (TSSA), 2017 11th International Conference on. :1-5 Oct, 2017 |
| Relation: |
2017 11th International Conference on Telecommunication Systems Services and Applications (TSSA) |
| قاعدة البيانات: |
IEEE Xplore Digital Library |
Full Text Finder