Gaya APA

dll, E, �, T, S, B, B, M, F. (2011). Parallel SAT Solving in Bounded Model Checking . : .

Gaya MLA

dll, Erika, Ábrahám,, Tobias, Schubert,, Bernd, Becker,, Martin, Fränzle,. "Parallel SAT Solving in Bounded Model Checking ". : , 2011. Text.