Login / Signup

Model checking and abstraction to the aid of parameterized systems (a survey).

Lenore D. ZuckAmir Pnueli
Published in: Comput. Lang. Syst. Struct. (2004)
Keyphrases