Cita APA (7a ed.)

(2015). Specifying event-based systems with a counting fluent temporal logic.

Cita Chicago Style (17a ed.)

Specifying Event-based Systems with a Counting Fluent Temporal Logic. 2015.

Cita MLA (8a ed.)

Specifying Event-based Systems with a Counting Fluent Temporal Logic. 2015.