Gaya APA

Rybakov, V. (2009). Linear Temporal Logic ℒ𝒯ℒK extended by Multi-Agent Logic Kn with Interacting Agents . : .

Gaya MLA

Rybakov, Vladimir. "Linear Temporal Logic ℒ𝒯ℒK extended by Multi-Agent Logic Kn with Interacting Agents ". : , 2009. Text.