Login / Signup

Parallel External Directed Model Checking with Linear I/O.

Shahid JabbarStefan Edelkamp
Published in: VMCAI (2006)
Keyphrases