Pages that link to "Item:Q3776595"

The following pages link to Protocol analysis and synthesis by structured partitions (Q3776595):

Displaying 1 item.

• Specification and analysis of a data transfer protocol using systems of communicating machines (Q808228) (← links)