Publications in collaboration with researchers from Instituto IMDEA Software (1)

2009

  1. Type-based homeomorphic embedding for online termination

    Information Processing Letters, Vol. 109, Núm. 15, pp. 879-886