Bernd-Holger Schlingloff "Concurrency, Specification and Programming" - 2023 - Springer 2023 - Studies in Computational Intelligence . ISBN: 9783031266515 Subjects--Topical Terms: Computational IntelligenceIntelligent Technologies and Robotics