Samir Tigane, Laïd Kahloul, Souheib Baarir, Samir Bourekkache. Dynamic GSPNs: formal definition, transformation towards GSPNs and formal verification. In VALUETOOLS 2020: 13th EAI International Conference on Performance Evaluation Methodologies and Tools, Tsukuba, Japan, May 18-20, 2020. pages 164-171, ACM, 2020. [doi]
@inproceedings{TiganeKBB20,
title = {Dynamic GSPNs: formal definition, transformation towards GSPNs and formal verification},
author = {Samir Tigane and Laïd Kahloul and Souheib Baarir and Samir Bourekkache},
year = {2020},
doi = {10.1145/3388831.3388854},
url = {https://doi.org/10.1145/3388831.3388854},
researchr = {https://researchr.org/publication/TiganeKBB20},
cites = {0},
citedby = {0},
pages = {164-171},
booktitle = {VALUETOOLS 2020: 13th EAI International Conference on Performance Evaluation Methodologies and Tools, Tsukuba, Japan, May 18-20, 2020},
publisher = {ACM},
isbn = {978-1-4503-7646-4},
}