The following pages link to Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies (Q2106413):
Displayed 1 item.