Gaya APA

Labelled Tableaux for Distributed Temporal Logic. (2009). : .

Gaya MLA

Labelled Tableaux for Distributed Temporal Logic. . : , 2009. Text.