Login / Signup

Model Checking - My 27-Year Quest to Overcome the State Explosion Problem.

Edmund M. Clarke
Published in: LPAR (2008)
Keyphrases