Items where Author is "Castellani, Ilaria"Group by: Item Type | No Grouping Jump to: Conference or Workshop Item Number of items: 1. Conference or Workshop ItemCastellani, Ilaria ; Mukund, Madhavan ; Thiagarajan, P. S. (2000) Synthesizing distributed transition systems from global specifications In: 19th International Conference on Foundations of Software Technology and Theoretical Computer Science, 13-15 Dec 1999, Chennai, India. |
| Login | Create Account |
![[up]](/style/images/multi_up.png)
Up a level