Additional Metadata
THEME Software (theme 1)
Publisher Springer
Editor F. Arbab (Farhad) , M. Sirjani (Marjan)
Project Modelling and Analysis of evolutionary structures for distributed services
Conference International Workshop on Foundations of Software Engineering
Citation
Bonsangue, M.M, & Izadi, M. (2009). Automata Based Model Checking for Reo Connectors. In F Arbab & M Sirjani (Eds.), Proceedings of International Workshop on Foundations of Software Engineering (FSEN 2010) (pp. 260–275). Springer.