Login / Signup

Abstraction-Based Model Checking Using Heuristical Refinement.

Kairong QianAlbert Nymeyer
Published in: ATVA (2004)
Keyphrases