Pages that link to "Item:Q1774485"
From MaRDI portal
The following pages link to Formal methods for components and objects. Second international symposium, FMCO 2003, Leiden The Netherlands, November 4--7, 2003. Revised lectures. (Q1774485):
Displaying 4 items.
- Formal methods for components and objects. 5th international symposium, FMCO 2006, Amsterdam, The Netherlands, November 7--10, 2006. Revised lectures (Q939708) (← links)
- Formal methods for components and objects. First international symposium, FMCO 2002, Leiden, The Netherlands, November 5--8, 2002. Revised lectures (Q1416838) (← links)
- Formal methods for components and objects (FMCO). Selected papers based on the presentations at the symposium, Leiden, The Netherlands, November 4--7, 2004 (Q2496450) (← links)
- A Bibliography of Willem-Paul de Roever (Q5187816) (← links)