Cita APA

Sasse, R., Meadows, C., Meseguer, J., & Escobar Román, S. (2011). Protocol analysis modulo combination of theories: A case study in Maude-NPA.

Citación estilo Chicago

Sasse, Ralf, Catherine Meadows, José Meseguer, y Santiago|||0000-0002-3550-4781 Escobar Román. Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA. 2011.

Cita MLA

Sasse, Ralf, Catherine Meadows, José Meseguer, y Santiago|||0000-0002-3550-4781 Escobar Román. Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA. 2011.