Gaya APA

Cimatti, A. (2004). Conformant planning via symbolic model checking and heuristic search . : .

Gaya MLA

Cimatti, A.. "Conformant planning via symbolic model checking and heuristic search". : , 2004. Jurnal Ilmiah.