2
TÍTULO: Lazy Decomposition for Distributed Decision Procedures PDF
AUTORES: Youssef Hamadi; João Marques Silva ; Christoph M. Wintersteiger;
PUBLICAÇÃO: 2011, FONTE: Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, Snowbird, Utah, USA, July 14, 2011., VOLUME: 72
INDEXADO EM: DBLP arXiv