Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations
scientific article; zbMATH DE number 1387427