A stubborn attack on state explosion
automatic verification of concurrent systems
scientific article; zbMATH DE number 417065
scientific article