Sign in

Parallel symbolic state-space exploration is difficult, but what is the alternative?

Gianfranco CiardoYang ZhaoXiaoqing Jin
Published in: PDMC (2009)
Keyphrases