The top documents tagged [ibm state space]

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

288 views