Distributed symbolic model checking for \(\mu\)-calculus
scientific article; zbMATH DE number 5007753
scientific article