"Formal Analysis of a Self-Stabilizing Algorithm Using Predicate Diagrams."

Dominique Cansell, Dominique Méry, Stephan Merz (2001)

Details and statistics

DOI:

access: unavailable

type: Conference or Workshop Paper

metadata version: 2019-07-31