Model checking of systems with many identical timed processes
automatic verification of infinite state systems
scientific article; zbMATH DE number 1857114
scientific article