Navegar

Colección

Datos Estadísticas

Lista de

19th International Symposium on Formal Methods, FM 2014
1
2014
1
"Revisiting compatibility of input-output modal transition systems" (2014) Krka, I.; D'Ippolito, N.; Medvidović, N.; Uchitel, S. 19th International Symposium on Formal Methods, FM 2014. 8442 LNCS:367-381