Hal Sciencemetadata only
Deductive Verification of Distributed Groupware Systems
algebraic specification, formal verification, distributed systems, vérification formelle, systèmes distribués, transformées opérationnelles, operational transformation, spécification algébrique
This document is indexed with metadata only — full text is not available in the archive for this record.
Open the official source ↗
Record · ID 175871
Conceptio Open Knowledge Archive — every document is proof-bundled with source, license, and retrieval metadata.