Navegar

Colección

Datos Estadísticas

Lista de

2002
821
QAPL'01, Quantitative Aspects of Programming Languages (Satellite Event of PLI 2001)
1
"Extending timed automata for compositional modeling healthy timed systems" (2002) Braberman, V.; Olivero, A. QAPL'01, Quantitative Aspects of Programming Languages (Satellite Event of PLI 2001). 52(3):227-245