Model Checking of Non-Finite State Processes by Finite Approximations.

Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi

Browse the full TACAS paper archive.