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]
Abstract is missing.