Login / Signup

DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation.

Hubert GaravelRadu MateescuDamien BergaminiAdrian CuricNicolas DescoubesChristophe JoubertIrina Smarandache-SturmGilles Stragier
Published in: TACAS (2006)
Keyphrases