Login / Signup

Comparing Symbolic and Explicit Model Checking of a Software System.

Cindy EisnerDoron A. Peled
Published in: SPIN (2002)
Keyphrases