Verification of mobile ad hoc networks: an algebraic approach
scientific article; zbMATH DE number 5918238
scientific article