The top documents tagged [symmetry reduction observation]

Pragmatic model checking: from theory to implementations
Education Pragmatic model checking: from theory to implementations

288 views