Parallel Saturation Based Model Checking.

Andrs Vrs, Tams Szab, Attila Jmbor, Dniel Darvas, kos Horvth, Tams Bartha

Browse the full ISPDC paper archive.