Lista de

2013
1363
10th International Symposium on Formal Methods for Components and Objects, FMCO 2011
1
"A survey on basic connectors and buffers" (2013) Bruni, R.; Melgratti, H.; Montanari, U. 10th International Symposium on Formal Methods for Components and Objects, FMCO 2011. 7542 LNCS:49-68