The following pages link to Automated synthesis of application-layer connectors from automata-based specifications (Q2424673):
Displaying 1 item.