Weidi Sun, Meng Sun. PRISM Code Generation for Verification of Mediator Models (S). In Angelo Perkusich, editor, The 31st International Conference on Software Engineering and Knowledge Engineering, SEKE 2019, Hotel Tivoli, Lisbon, Portugal, July 10-12, 2019. pages 271-354, KSI Research Inc. and Knowledge Systems Institute Graduate School, 2019. [doi]
@inproceedings{SunS19-8,
title = {PRISM Code Generation for Verification of Mediator Models (S)},
author = {Weidi Sun and Meng Sun},
year = {2019},
doi = {10.18293/SEKE2019-069},
url = {https://doi.org/10.18293/SEKE2019-069},
researchr = {https://researchr.org/publication/SunS19-8},
cites = {0},
citedby = {0},
pages = {271-354},
booktitle = {The 31st International Conference on Software Engineering and Knowledge Engineering, SEKE 2019, Hotel Tivoli, Lisbon, Portugal, July 10-12, 2019},
editor = {Angelo Perkusich},
publisher = {KSI Research Inc. and Knowledge Systems Institute Graduate School},
isbn = {1-891706-48-9},
}