Autor
Liang Chen
Papers que incluyen a Liang Chen entre los autores de la fuente. Un mismo nombre puede corresponder a investigadores distintos.
1 resultados
Papers que incluyen a Liang Chen entre los autores de la fuente. Un mismo nombre puede corresponder a investigadores distintos.
1 resultados
Un análisis formal explica por qué las barreras de una sola acción pasan por alto infracciones de propósito relacional y cómo compararlas entre ejecuciones permite verlas.