Universitat de Girona-ko ikertzaileekin lankidetzan egindako argitalpenak (1)

2025

  1. Towards an efficient implementation of a tableau method for reactive safety specifications

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