If you made any changes in Pure these will be visible here soon.

Research Output

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

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