A parallel algorithm for fault simulation based on PROOFS .

Steven Parkes, Prithviraj Banerjee, Janak H. Patel

Browse the full ICCD paper archive.