Login / Signup

Model-Checking and Abstraction to the Aid of Parameterized Systems.

Amir PnueliLenore D. Zuck
Published in: VMCAI (2003)
Keyphrases