Publications

Applications of model checking for multi-agent systems: verification of diagnosability and recoverability

Password required

Name:
Password: