Gaya APA

Rybakov, S, B, A, V. (2011). Linear Temporal Logic LTL: Basis for Admissible Rules . : .

Gaya MLA

Rybakov, Sergey, Babenyshev, And, Vladimir. "Linear Temporal Logic LTL: Basis for Admissible Rules". : , 2011. Text.