![](/img/cover-not-exists.png)
[IEEE 2017 11th International Conference on Telecommunication Systems Services and Applications (TSSA) - Lombok, Indonesia (2017.10.26-2017.10.27)] 2017 11th International Conference on Telecommunication Systems Services and Applications (TSSA) - Transformation of time Petri net into Promela
Chaichompoo, Onsuthee, Thongtak, Arthit, Vatanawood, WiwatYear:
2017
Language:
english
DOI:
10.1109/TSSA.2017.8272928
File:
PDF, 484 KB
english, 2017