Modelling and Verifying Mobile Systems Using pi-Graphs.

Frdric Peschanski, Jol-Alexis Bialkiewicz

Browse the full SOFSEM paper archive.