Synchronous Closing of Timed SDL Systems for Model Checking.

Natalia Sidorova, Martin Steffen

Browse the full VMCAI paper archive.