Slicing Concurrent Real-Time System Specifications for Verification.

Ingo Brckner

Browse the full IFM paper archive.