An Automated Based Verification Environment for Mobile Processes.

Gian-Luigi Ferrari, Gianluigi Ferro, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori

Browse the full TACAS paper archive.