Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems.

Natalia Ioustinova, Natalia Sidorova, Martin Steffen

Browse the full APSEC paper archive.