DMCA

Parametric model checking for Mobile Ambients

by Dino Distefano