Universidad Complutense de Madrid
E-Prints Complutense


Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 2.

Martín, Óscar and Verdejo López, Alberto and Martí Oliet, Narciso (2018) Alternating bit protocol as an example of compositional system specification. [ ] (Unpublished)

Martín, Óscar (2013) Model checking TLR* guarantee formulas on infinite systems. [Trabajo Fin de Máster]

This list was generated on Wed Jun 3 15:10:41 2020 CEST.