Cita APA

Meseguer Guaita, J., Palomino Tarjuelo, M., & Martí Oliet, N. (2003). Notes on Model Checking and Abstraction in Rewriting Logic.

Citación estilo Chicago

Meseguer Guaita, José, Miguel Palomino Tarjuelo, y Narciso Martí Oliet. Notes On Model Checking and Abstraction in Rewriting Logic. 2003.

Cita MLA

Meseguer Guaita, José, Miguel Palomino Tarjuelo, y Narciso Martí Oliet. Notes On Model Checking and Abstraction in Rewriting Logic. 2003.