1975 …2019
If you made any changes in Pure, your changes will be visible here soon.

Research Output 1975 2019

Filter
Paper
2013

Formal analysis of fault-tolerant group key management using ZooKeeper

Skeirik, S., Bobba, R. B. & Meseguer, J., Aug 14 2013, p. 636-641. 6 p.

Research output: Contribution to conferencePaper

Grid computing
Model checking
Viruses
Managers
Formal verification
2004

Proving termination of membership equational programs

Durán, F., Lucas, S., Meseguer, J., Marché, C. & Urbain, X., Jan 1 2004, p. 147-158. 12 p.

Research output: Contribution to conferencePaper

Computer programming languages