A system for compositional verification of asynchronous objects
scientific article; zbMATH DE number 6171347
scientific article