Gaya APA

Ciardo, M, C, A, G. (2011). Speculative Image Computation for Distributed Symbolic Reachability Analysis . : .

Gaya MLA

Ciardo, Ming-Ying, Chung, And, Gianfranco. "Speculative Image Computation for Distributed Symbolic Reachability Analysis ". : , 2011. Text.