Navegar

Colección

Datos Estadísticas

Lista de

6th International Colloquium on Theoretical Aspects of Computing, ICTAC 2009
1
2009
1
"A Sound observational semantics for modal transition systems" (2009) Fischbein, D.; Braberman, V.; Uchitel, S. 6th International Colloquium on Theoretical Aspects of Computing, ICTAC 2009. 5684 LNCS:215-230