APA (7th ed.) Citation

Carvalho, A. R. d., Carvalho, J., Pinto, J. S., & Sousa, S. M. d. (2010). Model-checking temporal properties of real-time HTL programs.

Chicago Style (17th ed.) Citation

Carvalho, André Ribeiro de, Joel Carvalho, Jorge Sousa Pinto, and Simão Melo de Sousa. Model-checking Temporal Properties of Real-time HTL Programs. 2010.

MLA (8th ed.) Citation

Carvalho, André Ribeiro de, et al. Model-checking Temporal Properties of Real-time HTL Programs. 2010.