It is not possible to compute SCC/report for a partial state space.
Completed
You must be logged in to post a comment.
You must be logged in to post a comment.