Martín, Ó., Verdejo López, J. A., & Martí Oliet, N. (2018). Alternating bit protocol as an example of compositional system specification.
Citación estilo ChicagoMartín, Óscar, José Alberto Verdejo López, y Narciso Martí Oliet. Alternating Bit Protocol As an Example of Compositional System Specification. 2018.
Cita MLAMartín, Óscar, José Alberto Verdejo López, y Narciso Martí Oliet. Alternating Bit Protocol As an Example of Compositional System Specification. 2018.
Precaución: Estas citas no son 100% exactas.