Navegar

Colección

Datos Estadísticas

Lista de

Sibay, Germán Emir
3
2012
1
"Distribution of modal transition systems" (2012) Sibay, G.E.; Uchitel, S.; Braberman, V.; Kramer, J. 18th International Symposium on Formal Methods, FM 2012. 7436 LNCS:403-417