Login / Signup

Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems.

Natalia IoustinovaNatalia SidorovaMartin Steffen
Published in: APSEC (2002)
Keyphrases