Model Checking Reconfigurable Interacting Systems.

Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman

Browse the full ISoLA paper archive.