Model Checking

2025

• Model checking for distributed reaction systems with temporal-epistemic properties 5 November 2025

2015

• Model checking temporal properties of reaction systems 20 August 2015