Login / Signup

Synchronous Closing of Timed SDL Systems for Model Checking.

Natalia SidorovaMartin Steffen
Published in: VMCAI (2002)
Keyphrases