Cita APA (7a ed.)

Regis, G., Degiovanni, R., D'Ippolito, N., Aguirre, N., & (TCSE), A. f. C. M. S. I. G. o. S. E. I. C. S. T. C. o. S. E. Specifying event-based systems with a counting fluent temporal logic.

Cita Chicago Style (17a ed.)

Regis, G., R. Degiovanni, N. D'Ippolito, N. Aguirre, y Association for Computing Machinery Special Interest Group on Software Engineering; IEEE Computer Society Technical Council on Software Engineering (TCSE). Specifying Event-based Systems with a Counting Fluent Temporal Logic.

Cita MLA (8a ed.)

Regis, G., et al. Specifying Event-based Systems with a Counting Fluent Temporal Logic.