Back to Results
First PageMeta Content
Theoretical computer science / Information retrieval / Information science / Model checkers / Hashing / Model checking / Ith / SPIN model checker / Bitstate hashing / Cryptographic hash function / Correctness / Applied mathematics


IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, # 1 Swarm Verification Techniques Gerard J. Holzmann, Rajeev Joshi, and Alex Groce
Add to Reading List

Document Date: 2010-09-11 18:27:55


Open Document

File Size: 247,13 KB

Share Result on Facebook