Pages that link to "Item:Q1275455"

The following pages link to Formal description techniques and protocol specification, testing and verification. FORTE XI/ PSTV XVIII '98. IFIP TC6 WG6. 1 joint international conference on Formal description techniques for distributed systems and communication protocols (FORTE XI) an (Q1275455):

Displayed 1 item.

• Rewriting logic: Roadmap and bibliography (Q1615001) ‎ (← links)