Pages that link to "Item:Q1416838"

The following pages link to Formal methods for components and objects. First international symposium, FMCO 2002, Leiden, The Netherlands, November 5--8, 2002. Revised lectures (Q1416838):

Displaying 1 item.

• Symbolic model checking for channel-based component connectors (Q2389338) (← links)