Gaya APA

Dima, C. (2012). Non-axiomatizability for the linear temporal logic of knowledge with concrete observability . : .

Gaya MLA

Dima, Cătălin. "Non-axiomatizability for the linear temporal logic of knowledge with concrete observability". : , 2012. Text.