Georgia Penido Safe, Claudionor Coelho, Luiz Filipe M. Vieira, Celina Gomes Do Val, José Augusto Miranda Nacif, Antônio Otávio Fernandes. Selection of formal verification heuristics for parallel execution. STTT, 14(1):95-108, 2012. [doi]
Abstract is missing.