Login / Signup

A dynamic firing speculation to speedup distributed symbolic state-space generation.

Ming-Ying ChungGianfranco Ciardo
Published in: IPDPS (2006)
Keyphrases