Verification Based on Local States.

Michaela Huhn, Peter Niebert, Frank Wallner

Browse the full TACAS paper archive.