Lund University-ko ikertzaileekin lankidetzan egindako argitalpenak (1)

2024

  1. Towards the exact complexity of realizability for Safety LTL

    Journal of Logical and Algebraic Methods in Programming, Vol. 141