Computation and Visualisation of Phase Portraits for Model Checking SPDIs.

Gordon J. Pace, Gerardo Schneider

Browse the full TACAS paper archive.