Publications

A Bisimulation-Based Approach to the Analysis of Human-Computer Interaction

Password required

Name:
Password: