Instituto IMDEA Software-ko ikertzaileekin lankidetzan egindako argitalpenak (1)

2009

  1. Type-based homeomorphic embedding for online termination

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