A generic framework for \(n\)-protocol compatibility checking
scientific article; zbMATH DE number 6055922
scientific article