PRISM Code Generation for Verification of Mediator Models (S).

Weidi Sun, Meng Sun

Browse the full SEKE paper archive.