Publications

State Event Models for the Formal Analysis of Human-Machine Interactions

Password required

Name:
Password: